7 929 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.

Produktinformation

  • Utgivningsdatum2001-01-25
  • Mått162 x 242 x 32 mm
  • Vikt912 g
  • FormatInbunden
  • SpråkEngelska
  • SerieHandbook of Logic in Computer Science
  • Antal sidor556
  • FörlagOUP OXFORD
  • ISBN9780198537816

Tillhör följande kategorier

Mer från samma författare

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Reader in Computing Science) Abramsky, S. (Reader in Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, Samson Abramsky, D. M. Gabbay

7 929 kr

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Samson Abramsky, T. S. Maibaum, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine

7 199 kr

Nets, Terms and Formulas
Del 23

Nets, Terms and Formulas

E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

789 kr

Extensions of First-Order Logic
Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 169 kr

The Logic of Typed Feature Structures
Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

789 kr

The Uncertain Reasoner's Companion
Del 39

The Uncertain Reasoner's Companion

J. B. Paris, J. B. (University of Manchester) Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

829 kr

Logic and Computation
Del 2

Logic and Computation

Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

909 kr

Formal Methods in Artificial Intelligence
Del 6

Formal Methods in Artificial Intelligence

Allan M. Ramsay, Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

719 kr

Belief Revision
Del 29

Belief Revision

Peter Gärdenfors, Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 119 kr

Theoretical Foundations of VLSI Design
Del 10

Theoretical Foundations of VLSI Design

K. McEvoy, J. V. Tucker, K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

859 kr

Du kanske också är intresserad av

Concise Encyclopedia of Environmental Systems
Del 4

Concise Encyclopedia of Environmental Systems

P.C. Young, UK) Young, P.C. (Professor of Environmental Systems and Director, Centre for Research on Environmental Systems and Statistics, Institute of Environmental & Biological Sciences, University of Lancaster, P. C. Young, Martin Ruck

7 929 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Christopher John Hogger, Dov M. Gabbay, C.J. Hogger, J. A. Robinson, Professor of Computing) Gabbay, Dov M. (Professor of Computing, both t Imperial College) Hogger, C.J. (Department of Computing, Department of Computing, Syracuse University) Robinson, J. A. (Department of Computing, Department of Computing, D. M. Gabbay, C. Hogger

7 929 kr

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Reader in Computing Science) Abramsky, S. (Reader in Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, Samson Abramsky, D. M. Gabbay

7 929 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Christopher J. Hogger

7 929 kr

Chemistry of Organocobalt Compounds

Chemistry of Organocobalt Compounds

Corinne Gosmini, Ilan Marek, Israel) Marek, Ilan (Department of Chemistry, Israel Institute of Technology, Haifa, Joel F Liebman, Zvi Rappoport

7 929 kr

Modern Instrumental Analysis
Del 47

Modern Instrumental Analysis

Satinder Ahuja, Neil Jespersen, USA) Ahuja, Satinder (President, Ahuja Consulting for Water Quality, Calabash, NC, USA) Jespersen, Neil (Chemistry Department, St. John's University, Jamaica, NY

7 929 kr

Bacterial Protein Toxins
Del 145

Bacterial Protein Toxins

K. Aktories, I. Just, Klaus Aktories

7 929 kr

Organic Reaction Mechanisms 2018
Del 137

Organic Reaction Mechanisms 2018

Mark G. Moloney, Mark G. Moloney, Mark G Moloney

7 929 kr

Partnership Law
  • Nyhet

Partnership Law

Mark Blackett-Ord, Sarah Haren KC, Mathew Roper, Mark (5 Stone Buildings) Blackett-Ord, Sarah (5 Stone Buildings) Haren KC, Mathew (5 Stone Buildings) Roper, Sarah Haren Kc

7 929 kr

Pathologie

Pathologie

Kerstin Amann, Renate Kain, Günter Klöppel

7 929 kr