It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 27, 2008 | History
Edit

J. A. Robinson

We need a photo of J. A. Robinson

16 works Add another?

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

  • Cover of: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming (Handbook of Logic in Artificial Intelligence and Logic Programming)

    Cover of edition handbooklogicart00gabb_334 First published in 1993 — 8 editions
    Locate

    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: Computational Logic: Essays in Honor of Alan Robinson

    First published in 1991 — 3 editions
    Locate

    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: Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products

    First published in 1991 — 2 editions
    Locate

    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: Lemoy and His Dark Return

    First published in 2023 — 2 editions
    Locate

    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: Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5: Logic Programming

    First published in 1998 — 1 edition
    Locate

    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: Twelve New Testament Studies

    First published in 1965 — 1 edition
    Locate

    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: An objective scrutiny of insurance

    First published in 1935 — 1 edition
    Locate

    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: Logic: form and function : the mechanization of deductive reasoning

    First published in 1979 — 1 edition
    Locate

    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: Logic, form and function: the mechanization of deductive reasoning

    First published in 1979 — 1 edition
    Locate

    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: Looking at language

    First published in 1974 — 1 edition
    Locate

    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: Phase equilibria studies in some Ag-Cd in alloys

    First published in 1993 — 1 edition
    Locate

    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: Split spectrum fibre optic link

    First published in 1993 — 1 edition
    Locate

    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: Software design for engineers and scientists

    First published in 2004 — 1 edition
    Locate

    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: Natural and artificial parallel computation

    First published in 1990 — 1 edition
    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: Handbook of Automated Reasoning

    First published in 2001 — 1 edition
    Locate

    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: 2D Materials and Devices Beyond Graphene: April 21-25, 2014, San Francisco, California, USA

    First published in 2014 — 1 edition
    Locate

    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 J. A. Robinson

Subjects

Logic programming, Artificial intelligence, Automatic theorem proving, Form (Logic), Intelligence artificielle, Logic, symbolic and mathematical, Predicate calculus, Reasoning, Calcul paralle le, Cerveau, Cognition, Computer programming, Computer software, Computer software, development, Computers, Data processing, Deductive databases, Development, Engineering, Engineering, data processing, Functional programming (computer science), Handbooks, manuals, History, Héritage, Incertitude

People

J. A. Robinson

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1763196A

Links outside Open Library

No links yet. Add one?

History

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