Mark E. Stickel (Herausgeber)

Produktart: Buch
ISBN-10: 3-540-52885-7
ISBN-13: 9783540528852
Verlag: Springer, Berlin
Herstellungsland: Deutschland
Erscheinungsjahr: 17. Juli 1990
Auflage: Erste Auflage
Format: 15,6 x 23,4 x 3,7 cm
Seitenanzahl: 688
Gewicht: 971 gr
Bindung: Taschenbuch
Umfang/Format: XVI, 688 Seiten, graphische Darstellungen, 25 cm

• 1.) 10th International Conference on Automated Deduction [Lecture Notes in Computer Science]
  M. E. Stickel (Herausgeber/-in)
  Springer, 1990 [Paperback]

Preisvergleich		Sonderangebote mit möglichst günstigen Preisen bei Online-Buchhandlungen werden jetzt abgefragt.		Aktualisieren
				Stand: —
				Stand: —
				Stand: —
				Stand: —
				Stand: —
				Stand: —
				Stand: —
				Stand: —
				Stand: —
				Stand: —
				Stand: —

Bücher nach Themen

• Artificial intelligence
• Automatisches Beweisen
• Automatisches Schliessen
• Computeralgebra
• Computers
• Computers – Artificial Intelligence
• Computers – General Information
• Computing – Professional & Programming
• Deduktionssystem
• Informatik
• Informatik, EDV – Informatik
• Intelligence (AI) & Semantics
• Logic
• Logik
• Logische Programmierung
• Mathematics & science