Name: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)
Brand: Michael Rusinowitch
SKU: ID12153337

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

106.99 EUR 9% Off 118.00 EUR

Die Proceedings der IJCAR‑Konferenz 2004 aus Cork zeigen innovative Ansätze in automatisierter Logik, Theoremproving und formaler Verifikation, ergänzt durch neue Algorithmen, Fallstudien und theoretische Analysen.

Marke: Michael Rusinowitch

ISBN: 3540223452

MPN: Illustrations

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert Automated Reasoning

Hugendubel

106.99 EUR 118.00 EUR

17-09-2026 13:19:36

Access to the deal

-9%

Gesponsert Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

Medimops DE

106.99 EUR 118.00 EUR

18-09-2026 14:56:05

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

118.00 EUR 118.00 EUR

18-09-2026 18:09:33

Access to the deal

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

Gesponsert Automated Reasoning

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

Gesponsert Automated Reasoning

Gesponsert Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

Gesponsert Automated Reasoning

Ähnliche Produkte

Automated Reasoning for Systems Biology and Medicine

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings