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
Availability: InStock

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

104.34 EUR 2% Off 106.99 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

-2%

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

104.34 EUR 106.99 EUR

04-05-2026 13:11:58

Access to the deal

Gesponsert Automated Reasoning

SpringerLink DE

106.99 EUR 106.99 EUR

04-05-2026 13:19:14

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: 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: 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

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

Automated Reasoning and Mathematics

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)