Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Automated Deduction, Cade-13

13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings

Automated Deduction, Cade-13 - International Conference on Automated Deduction 1996 New Brunswick, n/ McRobbie, M. A./ Slaney, J. K. - ISBN: 9783540615118
Prijs: € 148,95
Levertijd: 5 tot 15 werkdagen
Bindwijze: Boek, Paperback (01-08-1996)
Genre: Informatiekunde
Boekenliefde.nl:
Automated Deduction, Cade-13 op boekenliefde.nl
Add to cart

Beschrijving

Presenting 46 Revised Papers From Cade-13, This Text Focuses On Results In All Aspects Of Automated Deduction.

Details

Titel: Automated Deduction, Cade-13
auteur: International Conference on Automated Deduction 1996 New Brunswick, n/ McRobbie, M. A./ Slaney, J. K.
Mediatype: Boek
Bindwijze: Paperback
Taal: Engels
Uitgever: Springer-Verlag New York Inc
Plaats van publicatie: DE
Publicatiedatum: 01-08-1996
NUR: Informatiekunde
ISBN/ISBN13: 9783540615118
Intern nummer: 8485992

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.