Title: Vagueness, Logic and Ontology / Edition 1, Author: Dominic Hyde
Title: Utilizing Problem Structure in Planning: A Local Search Approach / Edition 1, Author: Jörg Hoffmann
Title: Universal Algebra: Fundamentals and Selected Topics / Edition 1, Author: Clifford Bergman
Title: Universal Algebra, Algebraic Logic, and Databases / Edition 1, Author: B. Plotkin
Title: Understanding Wittgenstein's Tractatus / Edition 1, Author: Pasquale Frascolla
Title: Understanding Principia and Tractatus: Russell and Wittgenstein Revisited, Author: A. P. Rao
Title: Understanding Neural Networks and Fuzzy Logic: Basic Concepts and Applications / Edition 1, Author: Stamatios V. Kartalopoulos
Title: Understanding Computers' Intelligence: Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa, Author: D. Niwinski
Title: Uncertainty and Quality in Science for Policy / Edition 1, Author: S.O. Funtowicz
Title: Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach / Edition 1, Author: Bilal M. Ayyub
Title: Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach / Edition 1, Author: Bilal M. Ayyub
Title: Uncertain Logics, Variables and Systems / Edition 1, Author: Z. Bubnicki
Title: Uncertain Inference / Edition 1, Author: Henry E. Kyburg
Title: Uncertain Inference, Author: Henry E. Kyburg
Title: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / Edition 1, Author: Thorsten Altenkirch
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / Edition 1, Author: Jean-Christophe Filliatre
Title: Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Edition 1, Author: Stefano Berardi
Title: Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers / Edition 1, Author: Stefano Berardi
Title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / Edition 1, Author: Peter Dybjer
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt

Pagination Links