Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Automated Deduction - CADE-17

Automated Deduction - CADE-17

- 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

enthalten in Lecture Notes in Artificial Intelligence-Reihe

enthalten in Lecture Notes in Computer Science-Reihe

Automated Deduction - CADE-17
Über Automated Deduction - CADE-17

Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540676645
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 526
  • Veröffentlicht:
  • 5. Juni 2000
  • Ausgabe:
  • 2000
  • Abmessungen:
  • 234x156x27 mm.
  • Gewicht:
  • 819 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Automated Deduction - CADE-17

Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

Kund*innenbewertungen von Automated Deduction - CADE-17



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Automated Deduction - CADE-17 ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.