Hoppa till sidans huvudinnehåll

8 889 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 semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination 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

  • Utgivningsdatum1995-05-04
  • Mått161 x 241 x 40 mm
  • Vikt1 115 g
  • FormatInbunden
  • SpråkEngelska
  • SerieHandbook of Logic in Computer Science
  • Antal sidor666
  • FörlagClarendon Press
  • ISBN9780198537809

Tillhör följande kategorier

Hoppa över listan

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

9 739 kr

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Samson Abramsky, Dov M. Gabbay, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science, King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science, Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science

7 769 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

769 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 149 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

799 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

809 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

889 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, Peter Gärdenfors, Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 069 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

839 kr

Hoppa över listan

Du kanske också är intresserad av

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

9 739 kr

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Samson Abramsky, Dov M. Gabbay, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science, King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science, Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science

7 769 kr

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

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

8 139 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

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

8 889 kr

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Abramsky, Gabbay, Maibaum, 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

8 889 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

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, Gabbay, Hogger, Robinson, Dov M. Gabbay, C. J. Hogger

8 889 kr

Dramen
Del 112

Dramen

Johannes Riemer, Helmut Krause, Hans-Gert Roloff

8 889 kr

Poetry Criticism: Excerpts from Criticism of the Works of the Most Significant and Widely Studied Poets of World Literature

Poetry Criticism: Excerpts from Criticism of the Works of the Most Significant and Widely Studied Poets of World Literature

Gale Research Inc

8 889 kr

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

S. Abramsky, T.S.E. Maibaum, T. S. E. Maibaum

699 kr

Quellen zur Reform des Straf- und Strafprozeßrechts, Teil 1, 1. Lesung

Quellen zur Reform des Straf- und Strafprozeßrechts, Teil 1, 1. Lesung

Werner Schubert, Peter Rieß

8 889 kr