Computer Science Logic
Egon Börger, Gerhard Jäger, Hans Kleine Büning
₹5,666
Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
by Egon Börger, Gerhard Jäger, Hans Kleine Büning
₹5,657
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533).
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540557890
- ISBN-10
- 354055789X
- Authors
- Egon Börger, Gerhard Jäger, Hans Kleine Büning
- Publisher
- Springer
- Condition
- New
- Subject
- Programming
More by Egon Börger and related titles
CSL '87
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,551
Computation Theory and Logic
Egon Börger
₹5,603
CSL '89
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,598
Computer Science Logic
Egon Börger, Yuri Gurevich, Karl Meinke
₹5,615
Csl'88
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,580
Computer Science Logic
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,581
Berechenbarkeit, Komplexität, Logik
Egon Börger
₹3,508
Entwicklung Von Algorithmen Zur Aufbereitung Komplizierter Netzplanstrukturen Für Eine Maschinelle Netzplandarstellung
Andreas Schmitz
₹3,508
Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni
₹5,517
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
₹5,652
Algorithmen in Der Graphentheorie
Katja Mönius, Jörn Steuding, Pascal Stumpf
₹998