Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 31 - 40 of about 48 related to Logic, Methodology and Philosophy of Science VIII.    

Sweet Reason: A Field Guide to Modern Logic

Tom Tymoczko, Jim Henle, James M. Henle - Computers - 1995 - 644 pages
Sweet Reason is an introduction to modern logic unlike any other. The basic rudiments of formal and informal logic are all clearly described. Further, it focuses on the real ...
Limited preview - About this book

Word Equations and Related Topics: Second International Workshop, IWWERT '91 ...

Habib Abdulrab, Jean-Pierre Pecuchet - Computers - 1993 - 214 pages
This volume contains papers presented at the second International Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991 ...
Limited preview - About this book

Constraints in Computational Logics. Theory and Applications: International ...

Hubert Comon - Computers - 2001 - 309 pages
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for ...
Limited preview - About this book

Typed Lambda Calculi and Applications: International Conference on Typed ...

Marc Bezem, Jan F. Groote - Computers - 1993 - 432 pages
This volume of conference proceedings contains 29 research papers on typed lambda calculi, which are used as models of computation (where terms are viewed as programs in a ...
Limited preview - About this book

Structures in Logic and Computer Science: A Selection of Essays in Honor of ...

Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa - Computers - 1997 - 370 pages
The book summarises contemporary knowledge about the theory of atomic and molecular clusters. New results are discussed on a high theoretical level. Access to this field of ...
Limited preview - About this book

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September ...

Egon Börger - Computers - 1993 - 439 pages
This workshop on stochastic theory and adaptive control assembled many of the leading researchers on stochastic control and stochastic adaptive control to increase scientific ...
Limited preview - About this book

Graph Grammars and Their Application to Computer Science: 5th ..., Volume 5

Janice Cuny - Computers - 1996 - 564 pages
This book describes the functional properties and the structural organization of the members of the thrombospondin gene family. These proteins comprise a family of ...
Limited preview - About this book

Application and Theory of Petri Nets 1993: 14th International ..., Volume 14

M. Ajmone Marsan - Computers - 1993 - 591 pages
This volume contains the proceedings of the 14th International Conference on the Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum ...
Limited preview - About this book

Higher-Order Algebra, Logic, and Term Rewriting: Second ..., Volume 2

Gilles Dowek - Computers - 1996 - 287 pages
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and ...
Limited preview - About this book

Hyperedge Replacement: Grammars and Languages

Annegret Habel - Computers - 1992 - 214 pages
This monograph introduces hyperedge-replacement grammars as a device for generating hypergraph languages, including graph and string languages. This concept combines a context ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search