Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science, 3097, Band 3097)
In den Proceedings der IJCAR‑Konferenz 2004 aus Cork finden Sie aktuelle Forschung zu automatisierten Beweissystemen, logischen Algorithmen und form ...
Gesponsert
Medimops DE
104.34 EUR
Preis aktualisiert am: 27-04-2026 19:31:46
Gesponsert
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 27-04-2026 22:15:59
Allgemein
Marke
Michael Rusinowitch
ISBN
Michael Rusinowitch 3540223452
MPN
Michael Rusinowitch Illustrations
