7 929 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.

Produktinformation

  • Utgivningsdatum1992-12-10
  • Mått160 x 242 x 33 mm
  • Vikt983 g
  • FormatInbunden
  • SpråkEngelska
  • SerieHandbook of Logic in Computer Science
  • Antal sidor582
  • FörlagClarendon Press
  • ISBN9780198537618

Tillhör följande kategorier

Du kanske också är intresserad av

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

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

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

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

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

Drama Criticism: Excerpts from Criticism of the Most Significant and Widely Studied Dramatic Works
Del 65

Drama Criticism: Excerpts from Criticism of the Most Significant and Widely Studied Dramatic Works

 

7 929 kr

Brill's New Pauly, Antiquity, Volume 5 (Equ - Has)

Brill's New Pauly, Antiquity, Volume 5 (Equ - Has)

Helmuth Schneider, Hubert Cancik

7 929 kr