10th International Conference on Automated Deduction

Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 3525805

Buch128.39
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 3525805

Buch128.39
Jetzt vorbestellen
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also...

Kommentar zu "10th International Conference on Automated Deduction"

Andere Kunden kauften auch

Weitere Empfehlungen zu „10th International Conference on Automated Deduction “

0 Gebrauchte Artikel zu „10th International Conference on Automated Deduction“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich