Von dem Buch Computer Science Logic haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Egon Börger/ Gerhard Jäger/ Hans Kleine-Büning: Computer Science Logic (ISBN: 9783540569923) 1993. Ausgabe, in Englisch.Nur diese Ausgabe anzeigen…
63%: Egon Borger, G. Jager, H. Kleine Buning, Avec la contribution de: S. Martini: Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science) (ISBN: 9780387569925) 1993, Springer-Verlag New York, LLC, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Computer Science Logic - 13 Angebote vergleichen
| Preise | 2016 | 2017 | 2020 | 2021 | 2022 |
|---|---|---|---|---|---|
| Schnitt | € 93,08 | € 72,63 | € 88,94 | € 53,37 | € 17,29 |
| Nachfrage |
1
Symbolbild
Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992: Selected Papers (1993)
~EN PB USISBN: 9783540569923 bzw. 3540569928, vermutlich in Englisch, Springer-Verlag, Taschenbuch, gebraucht, guter Zustand.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: DEU.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin, Heidelberg, New York: Springer-Verlag, 1993. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 702. Minor shelfwear to the cover, with a crease on the rear side. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. paperback. Very Good. Used.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin, Heidelberg, New York: Springer-Verlag, 1993. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 702. Minor shelfwear to the cover, with a crease on the rear side. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. paperback. Very Good. Used.
2
Computer Science Logic (1993)
~EN PB NWISBN: 9783540569923 bzw. 3540569928, vermutlich in Englisch, Springer Berlin, Taschenbuch, neu.
Lieferung aus: Österreich, Versandfertig in 7 - 9 Tagen.
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. Taschenbuch, 11.08.1993.
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. Taschenbuch, 11.08.1993.
3
Computer Science Logic (1992)
~EN PB NWISBN: 9783540569923 bzw. 3540569928, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. Soft cover.
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. Soft cover.
4
Symbolbild
Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science) (1993)
EN PB USISBN: 9780387569925 bzw. 0387569928, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: FIN.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1993-08-01. Paperback. Very Good. 3540569928 Ex-library paperback in very nice condition with the usual markings and attachments.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1993-08-01. Paperback. Very Good. 3540569928 Ex-library paperback in very nice condition with the usual markings and attachments.
5
Symbolbild
Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28-October 2, 1992. Selected Papers (Lecture Notes in Computer Science 702) (1993)
~EN PBISBN: 9783540569923 bzw. 3540569928, vermutlich in Englisch, 1993. Ausgabe, Springer, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Versandgebiet: DOM.
Von Händler/Antiquariat, Zubal Books, OH, Cleveland, [RE:5].
439 pp., Paperback, ex library, else text clean and binding tight. Trade paperback, 1993 ed.
Von Händler/Antiquariat, Zubal Books, OH, Cleveland, [RE:5].
439 pp., Paperback, ex library, else text clean and binding tight. Trade paperback, 1993 ed.
6
Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science) (1993)
EN PB USISBN: 9780387569925 bzw. 0387569928, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, J. HENRY BOOKS.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, J. HENRY BOOKS.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science) (1993)
EN PB NWISBN: 9780387569925 bzw. 0387569928, in Englisch, Springer-Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 6 to 9 weeks.
Von Händler/Antiquariat, Amazon.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Symbolbild
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science 702) (1993)
~EN PBISBN: 9783540569923 bzw. 3540569928, vermutlich in Englisch, Springer, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, Zubal Books.
Springer, 1993. 439 pp., Paperback, ex library, else text clean and binding tight.
Von Händler/Antiquariat, Zubal Books.
Springer, 1993. 439 pp., Paperback, ex library, else text clean and binding tight.
9
Computer Science Logic (1993)
DE HC NWISBN: 9783540569923 bzw. 3540569928, in Deutsch, Springer Berlin Heidelberg, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei, Shipping in 3 days.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Computer Science Logic; 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992
EN PB NWISBN: 9780387569925 bzw. 0387569928, in Englisch, Springer-Verlag New York, LLC, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…