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.    

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 onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for ...
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
The area of graph grammars is theoretically attractive and well motivated byvarious applications. More than 20 years ago, the concept of graph grammars was introduced by A ...
Limited preview - About this book

Types for Proofs and Programs: International Workshop TYPES '94 ..., Volume 2

Peter Dybjer, Bengt Nordström, Jan Smith - Computers - 1995 - 202 pages
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT ...
Limited preview - About this book

Logic Programming and Automated Reasoning: 4th International Conference ...

Andrei Voronkov - Computers - 1993 - 386 pages
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming ...
Limited preview - About this book

A Resolution Principle for a Logic with Restricted Quantifiers

Hans-Jürgen Bürckert - Computers - 1991 - 116 pages
This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this ...
Limited preview - About this book

Application and Theory of Petri Nets 2002: 23rd International ..., Volume 23

Javier Esparza, Charles Lakos - Computers - 2002 - 444 pages
This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to ...
Limited preview - About this book

Computer Science Logic: 11th International Workshop, CSL'97, Annual ...

Mogens Nielsen - Computers - 1998 - 509 pages
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference ...
Limited preview - About this book

Category Theory and Computer Science: 7th International ..., Volume 129

Eugenio Moggi, Giuseppe Rosolini - Computers - 1997 - 313 pages
This is a collection of pedagogically written articles on quantum chromodynamics. Based on lectures given over the past years to graduate students, the articles are ideally ...
Limited preview - About this book

Aspects of Molecular Computing: Essays Dedicated to Tom Head on the Occasion ...

Natasha Jonoska - Computers - 2004 - 389 pages
Molecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular computing is concerned with the use of bio-molecules for the purpose of actual ...
Limited preview - About this book




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