National Science Library of Georgia

Your search returned 4 results.

Sort
Results
Justification logic : reasoning with reasons / Sergei Artemov, Melvin Fitting. by Series: Cambridge tracts in mathematics ; 216.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2019
Online resources:
Availability: No items available.
Elements of logical reasoning / Jan von Plato. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Online resources:
Availability: No items available.
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Computational Logic & Human Thinking
Online resources:
Availability: No items available.
The uncertain reasoner's companion : a mathematical perspective / J.B. Paris. by Series: Cambridge tracts in theoretical computer science ; 39.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1994
Online resources:
Availability: No items available.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.