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

Zbigniew Stachniak

We need a photo of Zbigniew Stachniak

6 works Add another?

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

  • Cover of: Introduction to model theory for Leśniewski's ontology

    First published in 1981 — 1 edition
    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: Resolution proof systems: an algebraic theory

    First published in 1996 — 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: Inventing the PC: The MCM/70 Story

    First published in 2011 — 1 edition
    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: Resolution Proof Systems: An Algebraic Theory

    First published in 1996 — 1 edition
    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: Computing in Canada: building a digital future

    First published in 2009 — 1 edition
    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: Leśniewski's systems protothetic

    First published in 1998 — 1 edition
    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 Zbigniew Stachniak

Subjects

Logic, symbolic and mathematical, Symbolic and mathematical Logic, Artificial intelligence, Automatic theorem proving, Ontology, Algebra, Computer science, Computers, Data processing, Electronic data processing, Histoire, History, Informatique, Logic, Symbolic and mathematical, Model theory, Ordinateurs, Whole and parts (philosophy)

Places

Canada

People

Stanisław Leśniewski (1886-1939)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL530636A

Links outside Open Library

No links yet. Add one?

History

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