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

Walter A. Carnielli

We need a photo of Walter A. Carnielli

6 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: Model-based reasoning in science and technology: abduction, logic, and computational discovery

    First published in 2010 5 editions 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: Computability: computable functions, logic, and the foundations of mathematics

    First published in 1989 3 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: Modalità e multimodalità

    First published in 2001 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: Modalities and multimodalities

    First published in 2008 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: Multi-valued Logics (Journal of Applied Non-classical Logics)

    First published in 2000 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: Analysis and synthesis of logics: how to cut and paste reasoning systems

    First published in 2008 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
We need a photo of Walter A. Carnielli

Subjects
Logic, Mathematics, Modality (Logic), Symbolic and mathematical Logic, Computable functions, Computational intelligence, Computer science, Congresses, Discoveries in science, Gödel's theorem, Logic, Symbolic and mathematic, Logic, Symbolic and mathematical, Logic, symbolic and mathematical, Mathematical And Symbolic Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Mathematical logic, Mathematical theory of computation, Modality (logic), Model-based reasoning, Philosophy / General, Philosophy Of Mathematics, Reasoning, Science, methodology, Science/Mathematics

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2663430A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import