Deduction: Automated Logic

By W. Bibel, WOLFGANG BIBEL, Bibel, Wolfgang

Presents a broad topic of automated deductive reasoning in a concise and comprehensive way. Features include extensive references and exercises. This book contains a comprehensive collection of dif...

Mathematical Methods Of Specification And Synthesis Of Software Systems '85

By W. Bibel

Edited By W. Bibel And K.p. Jantke. Includes Bibliographies.

Fundamentals Of Artificial Intelligence: An Advanced Course

By W. Bibel, Other Contributor-W. Bibel

Edited By W. Bibel And Ph. Jorrand. Includes Bibliographical References.

Fundamentals Of Artificial Intelligence: An Advanced Course

By W. Bibel

Artificial Intelligence

By W. Ed, W. Bibel, Bibel, International Conference On Artificial Intelligence: Methodology, Syst...

Automated Deduction - A Basis For Applications: Systems And Implementation Techniques, Vol. 9

By W. Bibel, WOLFGANG BIBEL, P.H. Schmitt, W. Reif, G. Schellhorn, K. Stenzel, M. Balser (Auth.), Wolfgang Bibel, Peter H. Schmitt (Eds.)

the Nationwide Research Project `deduktion', Funded By The `deutsche Forschungsgemeinschaft (dfg)' For A Period Of Six Years, Brought Together Almost All Research Groups Within Germany Engaged In T...

Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii Applications

By W. Bibel, WOLFGANG BIBEL, P.H. Schmitt

the Nationwide Research Project `deduktion', Funded By The `deutsche Forschungsgemeinschaft (dfg)' For A Period Of Six Years, Brought Together Almost All Research Groups Within Germany Engaged In T...

Automated Deduction -- A Basis For Applications Volume I Foundations -- Calculi And Methods

By W. Bibel, Peter H. Schmitt, Wolfgang Bibel And Peter H. Schmitt

1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot...

Intellectics And Computational Logic: Papers In Honor Of Wolfgang Bibel

By W. Bibel, Steffen Hölldobler

`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such fun...

The SAP R/3® Guide To EDI And Interfaces: Cut Your Implementation Cost With IDocs®, ALE® And RFC®

By Ulrich Streit, W. Bibel, Axel Angeli, Rudolf Kruse, Robi Gonfalonieri