Freunden von diesem Artikel berichten:
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P
Michael a Mcrobbie
Preis
€ 121,99
Bestellware
Lieferdatum: ca. 23. Mai - 3. Jun
Zu deiner iMusic Wunschliste hinzufügen
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P
Michael a Mcrobbie
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.
788 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 1. Juli 1996 |
| ISBN13 | 9783540615118 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 788 |
| Maße | 156 × 234 × 39 mm · 1,08 kg |
| Sprache | Französisch |
| Redakteur | Mcrobbie, Michael A. |
| Redakteur | Slaney, J.k. |
Alle Titel von Michael a Mcrobbie ansehen ( u. a. Taschenbuch )