Catalogo · 9783322901026
Automated theorem proving
ISBN 9783322901026
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Mathematical Methods of Specification and Synthesis of Software Systems '85
W. Bibel, Klaus P. Jantke
Fundamentals of Artificial Intelligence
W. Bibel, Philippe Jorrand
Automated Deduction - A Basis for Applications
W. Bibel
Automated deduction
W. Bibel, Peter H. Schmitt
Wissensrepräsentation und Inferenz
W. Bibel, Steffen Hölldobler, Rudolf Kruse, Torsten Schaub
Wissensbasierte Systeme
Doris Altenkrüger, Winfried Büttner, W. Bibel, Rudolf Kruse
Studien- und Forschungsführer Künstliche Intelligenz
W. Bibel, Norbert Eisinger, Josef Schneeberger, Jörg Siekmann
Sehen und die Verarbeitung visueller Information
W. Bibel, Hanspeter A. Mallot, Rudolf Kruse, Bernhard Nebel
Künstliche Intelligenz
W. Bibel, Jörg H. Siekmann
Data Mining im praktischen Einsatz
Paul Alpar, W. Bibel, Joachim Niedereichholz, Rudolf Kruse
Betriebswirtschaftliche Anwendungen des Soft Computing
Jörg Biethahn, W. Bibel, Rudolf Kruse, Albrecht Hönerloh, Martin Tietze
Verba volant · scripta manent