Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel, Wolfgang Innbundet / 1998 / Engelsk
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel, Wolfgang Annet / 1998 / Engelsk
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel, Wolfgang Innbundet / 1998 / Engelsk
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel, Wolfgang Heftet / 2010 / Engelsk
Künstliche Intelligenz Frühjahrsschule Teisendorf, 15.–24. März 1982 Bibel, Wolfgang Heftet / 1982 / Tysk
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel, Wolfgang Innbundet / 1998 / Engelsk
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel, Wolfgang Heftet / 2010 / Engelsk
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel, Wolfgang Heftet / 2010 / Engelsk
Mathematical Methods of Specification and Synthesis of Software Systems '85 Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 Bibel, Wolfgang Heftet / 1986 / Engelsk
Mathematical Methods of Specification and Synthesis of Software Systems ‘85 Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985 Bibel, Wolfgang Innbundet / 1986 / Engelsk
Ausgezeichnete Informatikdissertationen 1996 Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß Bibel, Wolfgang Heftet / 1998 / Tysk
Einführung in Evolutionäre Algorithmen Optimierung nach dem Vorbild der Evolution Nissen Volker Heftet / 1997 / Tysk
Fuzzy Theorie und Stochastik Modelle und Anwendungen in der Diskussion Seising Rudolf Heftet / 1999 / Tysk
Data Mining im praktischen Einsatz Verfahren und Anwendungsfälle für Marketing, Vertrieb, Controlling und Kundenunterstützung Alpar Paul Heftet / 2000 / Tysk
Wissensbasierte Systeme Architektur, Entwicklung, Echtzeitanwendungen - Eine praxisgerechte Einführung Altenkrüger, Doris Heftet / 1992 / Tysk
Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis Plaisted David A. Heftet / 1999 / Engelsk
Information Mining Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse Runkler Thomas A. Heftet / 2000 / Tysk
Sehen und die Verarbeitung visueller Information Eine Einführung Mallot Hanspeter A. Heftet / 2000 / Tysk
SAP R/3® Guide to EDI and Interfaces Cut your Implementation Cost with IDocs®, ALE® and RFC® Angeli, Axel Heftet / 2014 / Engelsk
Fuzzy-Clusteranalyse Verfahren für die Bilderkennung, Klassifizierung und Datenanalyse Höppner, Frank Heftet / 1997 / Tysk
Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung Cremers Armin B. Heftet / 1993 / Tysk
Grundlagen zur Neuroinformatik und Neurobiologie The Computational Brain in deutscher Sprache Churchland Patricia S. Heftet / 2012 / Tysk
