Reset Filters
Filter Related Topics: Logic, Symbolic and mathematical
Filter Related Topics within your search.
Logic, Symbolic and mathematical Mathematics 141 Philosophy 92 Electronic books 82 Congresses 79 Computer science 74 Artificial intelligence 65 more ...
602
Computability computable functions, logic, and the foundations of mathematics

Cover is for reference only
Main Authors: Epstein Richard L., 1947-
Group Author: (Walter Alexandre); Carnielli Walter A.
Published: Wadsworth/Thomson Learning,
Publication Dates: c2000.
Call Number: O14/E64/2nd ed./
Book
Save to List
Saved in:
603
Semantics and logics of computation

Cover is for reference only
Group Author: Pitts A. M.; (Andrew M.); Dybjer Peter.
Published: Cambridge University Press,
Publication Dates: 1997.
Call Number: TP301.6/S471
Book
Save to List
Saved in:
604
Logical environments

Cover is for reference only
Group Author: Huet Gerard.; Plotkin G.; (Gordon), 1946-
Published: Cambridge University Press,
Publication Dates: 1993.
Call Number: TP302.2-532/L832/1991/
Book
Save to List
Saved in:
606
Uncertain inference

Cover is for reference only
Main Authors: Kyburg Henry Ely, 1928-
Group Author: Teng Choh Man.
Published: Cambridge University Press,
Publication Dates: 2001.
Call Number: O236/K991
Book
Save to List
Saved in:
607
The logic of knowledge bases

Cover is for reference only
Main Authors: Levesque Hector J., 1951-
Group Author: Lakemeyer Gerhard.
Published: MIT Press,
Publication Dates: c2000.
Call Number: TP182/L662
Book
Save to List
Saved in:
608
Handbook of logic and language

Cover is for reference only
Group Author: Benthem J. F. A. K. van, 1949-; Meulen Alice G. B. ter.
Published: Elsevier MIT Press,
Publication Dates: 1997.
Call Number: H0-05/H236
Book
Save to List
Saved in:
609
Conditional inference and logic for intelligent systems a theory of measure-free conditioning

Cover is for reference only
Main Authors: Goodman Irwin R.
Group Author: Nguyen Hung T., 1944-; Walker E.; (Elbert), 1930-
Published: North-Holland,
Publication Dates: 1991.
Call Number: TP18/G653/
Book
Save to List
Saved in:
610
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Cover is for reference only
Corporate Authors: International Congress of Logic, Methodology, and Philosophy of Science (6th 1979 Hannover, Germany)
Group Author: Cohen L. Jonathan; (Laurence Jonathan)
Published: North-Holland Pub. Co. PWN--Polish Scientific Publishers sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
Publication Dates: 1982.
Call Number: G304-532/I614/1979
Book
Save to List
Saved in:
612
Adapting proofs-as-programs the Curry-Howard protocol

Cover is for reference only
Main Authors: Poernomo Iman Hafiz, 1976-
Group Author: Crossley John N.; Wirsing M.; (Martin)
Published: Springer
Publication Dates: c2005.
Call Number: O141/P745
Book
Save to List
Saved in:
615
Proceedings of the 12th Asian Logic Conference Wellington, New Zealand, 15-20 December 2011

Cover is for reference only
Corporate Authors: Asian Logic Conference (12th 2011 Wellington, N.Z.)
Group Author: Downey R. G.; (Rod G.)
Published: World Scientific,
Publication Dates: c2013
Call Number: O14-532/A832/2011
Book
Save to List
Saved in:
616
Cognitive reasoning a formal approach

Cover is for reference only
Main Authors: Anshakov O. M.
Corporate Authors: SpringerLink (Online service)
Group Author: (Tamás); Gergely T.
Published: Springer,
Publication Dates: c2010.
Book
Save to List
Saved in:
617
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Cover is for reference only
Corporate Authors: Asian Logic Conference (10th 2008 Kōbe Daigaku)
Group Author: Arai T.; (Toshiyasu)
Published: World Scientific,
Publication Dates: c2010.
Call Number: O14-532/A832/2008
Book
Save to List
Saved in:
618
Fuzzy logic in knowledge engineering

Cover is for reference only
Group Author: Negoiță C. V.; (Constantin Virgil); Prade Henri M.
Published: TÜV Rheinland,
Publication Dates: c1986.
Call Number: TP11-53/F996/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —