It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
August 19, 2008 | History
Edit

W. Bibel

We need a photo of W. Bibel

Born 1938

10 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

    First published in 1899 5 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of artificial intelligence: an advanced course

    First published in 1987 2 editions in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automated theorem proving

    First published in 1982 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of Artificial Intelligence: An Advanced Course (Lecture Notes in Computer Science)

    First published in 1986 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of artificial intelligence: an advanced course

    First published in 1986 1 edition in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automated theorem proving

    First published in 1987 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of Artificial Intelligence: An Advanced Course (Lecture Notes in Computer Science)

    First published in 1986 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical methods of specification and synthesis of software systems '85: proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985

    First published in 1986 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Artificial Intelligence

    First published in 1985 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Künstliche Intelligenz: Frühjahrsschule, Teisendorf, 15.-24. März 1982

    First published in 1982 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of W. Bibel

Born 1938
Subjects
Artificial intelligence, Automatic theorem proving, Computers - General Information, Artificial Intelligence - General, Automatentheorie, Automatisches Beweisverfahren, Beweis (Mathematik), Computer software, Computers / Artificial Intelligence, Conception logiciel, Congresses, Development, Démonstration automatique, Développement, Développement logiciel, Expert Systems, Génie logiciel, Informatique théorique, Inférence inductive, Logic, Logic Design, Logic, symbolic and mathematical, Logiciels, Mathematics, data processing, Mathematics, problems, exercises, etc.

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1099193A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 19, 2008 Edited by an anonymous user fix author name
April 1, 2008 Created by an anonymous user initial import