|
Searching ... |
0 % | |||
Fundamentals of artificial intelligence An advanced course (Lecture notes in computer science) by Wolfgang Bibel, Philippe Jorrand Paperback, 313 Pages, Published 1986 by Springer-Verlag ISBN-13: 978-0-387-16782-4, ISBN: 0-387-16782-X |
Automated Deduction -- A Basis for Applications Volume I Foundations -- Calculi and Methods by Wolfgang Bibel, Peter H. Schmitt, P.H. Schmitt Hardcover, 1,294 Pages, Published 1998 by Springer ISBN-13: 978-0-7923-5132-0, ISBN: 0-7923-5132-0 |
Automated Deduction A Basis for Applications, Vol. 3: Applications (Applied Logic Series) (v. 1) by Wolfgang Bibel, P.H. Schmitt, Peter H. Schmitt Paperback, 335 Pages, Published 1998 by Springer ISBN-13: 978-0-7923-5131-3, ISBN: 0-7923-5131-2 |
Deduction(1st Edition) Automated Logic by Wolfgang Bibel, Steffen Hölldobler, Monika Lekuse Hardcover, 253 Pages, Published 1993 by Academic Press ISBN-13: 978-0-12-095835-1, ISBN: 0-12-095835-X |
Deduction Automated Logic by Wolfgang Bibel Published 1993 by Academic Press ISBN-13: 978-0-01-209583-6, ISBN: 0-01-209583-4 |
Fundamentals of Artificial Intelligence An Advanced Course (Lecture Notes in Computer Science) by Wolfgang Bibel, Ph Jorrand, Philippe Jorrand Paperback, 313 Pages, Published 1986 by Springer-Verlag ISBN-13: 978-0-387-18265-0, ISBN: 0-387-18265-9 |
5th Conference on Automated Deduction, Les Arcs, France, 1980(1st Edition) (Lecture Notes in Computer Science, 87) by Wolfgang Bibel, Robert Kowalski, R. A. Kowalski Paperback, 385 Pages, Published 1980 by Springer-Verlag ISBN-13: 978-0-387-10009-8, ISBN: 0-387-10009-1 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications by Wolfgang Bibel, P.H. Schmitt, Wolfgang Bibel And Hardcover, 481 Pages, Published 1998 by Springer ISBN-13: 978-0-7923-5129-0, ISBN: 0-7923-5129-0 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications by Wolfgang Bibel, P.H. Schmitt, Peter H. Schmitt Hardcover, 434 Pages, Published 1998 by Springer ISBN-13: 978-0-7923-5130-6, ISBN: 0-7923-5130-4 |
Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel (Applied Logic Series) by Steffen Hölldobler, Wolfgang Bibel Hardcover, 388 Pages, Published 2000 by Springer ISBN-13: 978-0-7923-6261-6, ISBN: 0-7923-6261-6 |
Mathematical Methods of Specification and Synthesis of Software Systems '85 (Lecture Notes in Computer Science) by W. Bibel Paperback, 245 Pages, Published 1986 by Springer-Verlag ISBN-13: 978-0-387-16444-1, ISBN: 0-387-16444-8 |
Lehren vom Leben Essays über Mensch und Gesellschaft (Sozialwissenschaft) (German Edition) by Wolfgang Bibel Paperback, 339 Pages, Published 2003 by Deutscher Universitätsverlag ISBN-13: 978-3-8244-4519-6, ISBN: 3-8244-4519-0 |
Studien- und Forschungsführer Künstliche Intelligenz(1st Edition) (Delaware Edition) by Wolfgang Bibel, Norbert Eisinger, Josef Schneeberger, Jörg Siekmann, G. Kaufhold Paperback, 281 Pages, Published 1987 by Springer ISBN-13: 978-3-540-18309-9, ISBN: 3-540-18309-4 |
Automated Theorem Proving(2nd Edition) by Wolfgang Bibel, Donald W. Loveland, A. Neier Paperback, 289 Pages, Published 1987 by Vieweg+Teubner Verlag ISBN-13: 978-3-528-18520-6, ISBN: 3-528-18520-1 |
Automated Theorem Proving (German Edition) by Wolfgang Bibel Paperback, 292 Pages, Published 1982 by Vieweg+Teubner Verlag ISBN-13: 978-3-528-08520-9, ISBN: 3-528-08520-7 |
Scalable Search in Computer Chess Algorithmic Enhancements and Experiments at High Search Depths (Computational Intelligence) by Ernst A. Heinz, Wolfgang Bibel, Rudolf Kruse Paperback, 270 Pages, Published 2003 by Vieweg+Teubner Verlag ISBN-13: 978-3-528-05732-9, ISBN: 3-528-05732-7 |
Handbuch der Informatik / Künstliche Intelligenz / Deduktion(Reprint 2020) Automatisierung der Logik by Wolfgang Bibel, Steffen Hölldobler, Albert Endres, Hermann Krallmann, Peter Schnupp Hardcover, 269 Pages, Published 1992 by Oldenbourg Wissenschaftsverlag ISBN-13: 978-3-486-20785-9, ISBN: 3-486-20785-7 |
Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung (Computational Intelligence) (German Edition) by Armin B. Cremers, Ulrike Griefahn, Ralf Hinze, Wolfgang Bibel, Rudolf Kruse Paperback, 464 Pages, Published 2013 by Vieweg+Teubner Verlag ISBN-13: 978-3-528-04700-9, ISBN: 3-528-04700-3 |
The SAP R/3 Guide to EDI and Interfaces(2nd Edition) Cut your Implementation Cost with IDocs, ALE and RFC (XBusiness Computing) by Axel Angeli, Ulrich Streit, Robi Gonfalonieri, Wolfgang Bibel, Rudolf Kruse Paperback, 148 Pages, Published 2014 by Vieweg+Teubner Verlag ISBN-13: 978-3-322-90177-4, ISBN: 3-322-90177-7 |
Information Mining Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse (Computational Intelligence) (German Edition) by Thomas A. Runkler, Wolfgang Bibel, Rudolf Kruse, Bernhard Nebel Paperback, 171 Pages, Published 2012 by Vieweg+Teubner Verlag ISBN-13: 978-3-528-05741-1, ISBN: 3-528-05741-6 |
Wolfgang Bibel