Warenkorb
Übersetzung
Anmelden/Login
logo
mediatypes Bücher

theoremproving – Buch gebraucht, antiquarisch & neu kaufen



Tagen
 
ISBN 9783540523376: Sorts and Types in Artificial Intelligence
Sortierung: Autor | Titel | Jahr | Eingangsdatum | Preis | Preis + Versand | Relevanz
487 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware
Artikel pro Seite:
Seiten:

neues Buch Runtime Verification

Leonardo Mariani: Runtime Verification

Leonardo Mariani


Springer International Publishing

, 04.10.2019, Taschenbuch
ISBN: 9783030320782
Neuware
69,54 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Formal Correctness of Security Protocols

Giampaolo Bella: Formal Correctness of S

Giampaolo Bella


Springer Berlin Heidelberg

, 30.11.2010, Taschenbuch
ISBN: 9783642087820
Neuware
53,49 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Deduction - CADE-11

Deepak Kapur: Automated Deduction - CADE

Deepak Kapur


Springer

, 27.05.1992, Taschenbuch
ISBN: 3540556028
Neuware
106,98 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Artificial Intelligence and Symbolic Computation

Dongming Wang: Artificial Intelligence a

Dongming Wang


Springer

, 13.09.2006, Taschenbuch
ISBN: 3540397280
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Runtime Verification

Martin Leucker: Runtime Verification

Martin Leucker


Birkhäuser

, 08.11.2018, Taschenbuch
ISBN: 9783030037680
Neuware
81,23 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Runtime Verification

Bernd Finkbeiner: Runtime Verification

Bernd Finkbeiner


Springer

, 04.10.2019, Taschenbuch
ISBN: 9783030320782
Neuware
70,93 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Formal Correctness of Security Protocols

Giampaolo Bella: Formal Correctness of S

Giampaolo Bella


Springer Spektrum

, 30.11.2010, Taschenbuch
ISBN: 9783642087820
Neuware
54,39 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Interactive Theorem Proving

Assia Mahboubi: Interactive Theorem Prov

Assia Mahboubi


Springer

, 04.07.2018, Taschenbuch
ISBN: 9783319948201
Neuware
96,68 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch From Logic Design to Logic Programming

Andre Thayse: From Logic Design to Logic

Andre Thayse


Springer Berlin Heidelberg

, 12.08.1987, Taschenbuch
ISBN: 3540182179
Neuware
74,89 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Reasoning

Alexander Leitsch: Automated Reasoning

Alexander Leitsch


Springer

, 06.06.2001, Taschenbuch
ISBN: 3540422544
Neuware
106,98 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Formal Aspects of Component Software

Farhad Arbab: Formal Aspects of Componen

Farhad Arbab


Birkhäuser

, 13.02.2020, Taschenbuch
ISBN: 9783030409135
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch From Logic Design to Logic Programming

Andre Thayse: From Logic Design to Logic

Andre Thayse


Springer

, 12.08.1987, Taschenbuch
ISBN: 3540182179
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic Programming

Andrei Voronkov: Logic Programming

Andrei Voronkov


Springer

, 06.05.1992, Taschenbuch
ISBN: 3540554602
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford: Using Sophisticated M

David M. Sandford


Springer

, 01.08.1980, Taschenbuch
ISBN: 3540102310
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Structured Object-Oriented Formal Language and Method

Shaoying Liu: Structured Object-Oriented

Shaoying Liu


Springer

, 09.02.2019, Taschenbuch
ISBN: 9783030136505
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic Programming and Automated Reasoning

Andrei Voronkov: Logic Programming and A

Andrei Voronkov


Springer

, 01.07.1992, Taschenbuch
ISBN: 354055727X
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Formal Methods: Foundations and Applications

Simone Cavalheiro: Formal Methods: Found

Simone Cavalheiro


Springer

, 12.11.2017, Taschenbuch
ISBN: 9783319708478
Neuware
70,93 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch COLOG-88

Grigori Mints: COLOG-88

Grigori Mints


Springer

, 21.02.1990, Taschenbuch
ISBN: 3540523359
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Formal Techniques for Safety-Critical Systems

Peter Csaba Ölveczky: Formal Techniques

Peter Csaba Ölveczky


Springer

, 02.02.2019, Taschenbuch
ISBN: 9783030129873
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Sorts and Types in Artificial Intelligence

Ulrich Hedtstück: Sorts and Types in Art

Ulrich Hedtstück


Springer

, 12.07.1990, Taschenbuch
ISBN: 3540523375
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …
Seiten: