Computer Science Logic &ndash; Buch gebraucht, antiquarisch &amp; neu kaufen

von Buchbär, Bewertungen 100,0% positiv

wird gespeichert …

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday : Lev D. Beklemishev (u. a.) : Taschenbuch : Lecture Notes in Computer Science : x : 2015

Beklemishev, Lev D.

Springer

, 2015, Taschenbuch
ISBN: 9783319235332
Neuware

54,30 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)

Schmidt-Schau??, Manfred

Springer

, 2008.
ISBN: 3540517057
Zustand: gebraucht; gut

31,24 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

0.
ISBN: 0387112057
Zustand: gebraucht; gut

497,01 €
versandkostenfrei

auf Ihrem

wird gespeichert …

P-Prolog: A Parallel Logic Programming Language (World Scientific Series in Computer Science, Band 9)

Rong Yang

Wspc

, 1988.
ISBN: 9971505088
Zustand: gebraucht; mittelmäßig

49,58 €
versandkostenfrei

auf Ihrem

wird gespeichert …

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

Melvin Fitting

Springer Verlag

, 1990.
ISBN: 0387972331
Zustand: gebraucht; gut

66,37 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

Mordechai Ben-Ari

Prentice-Hall

, 1993.
ISBN: 013564139X
Zustand: gebraucht; gut

32,23 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in Computer Science, Band 6816)

Herbert Kuchen

Springer

, 2011.
ISBN: 9783642225307
Zustand: gebraucht; sehr gut

34,91 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

Howard Straubing

Birkhäuser

, 1994.
ISBN: 0817637192
Zustand: gebraucht; gut

18,55 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Computer Science Logic

Michael Kaminski

Springer, Berlin, Springer

, Taschenbuch
ISBN: 9783540875307
Neuware

161,06 €
versandkostenfrei

auf Ihrem

von Buchhandlung Hoffmann, Bewertungen 99,7% positiv

wird gespeichert …

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra

ISTE Ltd and John Wiley & Sons Inc

, 12.07.2011, Buch
ISBN: 9781848213012
Neuware

254,26 €
versandkostenfrei

auf Ihrem

von Buchhandlung Hoffmann, Bewertungen 99,7% positiv

wird gespeichert …

Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings : Lou Goble (u. a.)

Lou Goble

Springer

, 2006, Taschenbuch
ISBN: 3540358420
Neuware

77,90 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Computer Science Logic

Kaminski, Michael Martini, Simone

Springer Berlin Heidelberg

, 2008, Kartoniert / Broschiert
ISBN: 9783540875307
Neuware

87,95 €
versandkostenfrei

auf Ihrem

von Moluna GmbH, Bewertungen 99,7% positiv

wird gespeichert …

Logic for Applications : Anil Nerode (u. a.) : Taschenbuch : Texts in Computer Science : xiii : Englisch : 2012 : Springer : EAN 9781461268550

Anil Nerode

Springer

, 2012, Taschenbuch
ISBN: 9781461268550
Neuware

54,30 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Interpolating Cubic Splines (Progress in Computer Science and Applied Logic, Band 18) Gary D. Knott

Knott, Gary D.

Birkhäuser

, 2000.
ISBN: 0817641009
Zustand: gebraucht; gut

51,66 €
versandkostenfrei

auf Ihrem

vom Händler, Bewertungen 99,8% positiv

wird gespeichert …

Logic and Language Models for Computer Science

Hamburger, Henry and Dana Richards

Prentice-Hall, Inc.

, 2002.
ISBN: 0130654876
Zustand: gebraucht; sehr gut

64,80 €
3,00 €

auf Ihrem

vom Händler, Bewertungen 100,0% positiv

wird gespeichert …

Computer Science Logic / 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings / Jacques Duparc (u. a.) / Taschenbuch

Jacques Duparc

Springer

, 2007, Taschenbuch
ISBN: 9783540749141
Neuware

101,90 €
versandkostenfrei

auf Ihrem

von MEOVERSA, Bewertungen 99,8% positiv

wird gespeichert …

Mathematical Logic for Computer Science : Mordechai Ben-Ari : Taschenbuch : xv : Englisch : 2012 : Springer : EAN 9781447141280

Mordechai Ben-Ari

Springer

, 2012, Taschenbuch
ISBN: 9781447141280
Neuware

63,80 €
versandkostenfrei

auf Ihrem

wird gespeichert …

Description Logic, Theory Combination, and All That / Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / Carsten Lutz (u. a.) / Taschenbuch / Lecture Notes in Computer Science

Carsten Lutz

Springer

, 2019, Taschenbuch
ISBN: 9783030221010
Neuware

54,90 €
versandkostenfrei

auf Ihrem

von MEOVERSA, Bewertungen 99,8% positiv

wird gespeichert …

Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search | Interfaces in Computer Science and Operations Research

Woodruff, David L.

Springer

, 2010, Taschenbuch
ISBN: 9781441950239
Neuware

141,30 €
versandkostenfrei

auf Ihrem