7 199 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 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-04-27
  • Mått159 x 242 x 32 mm
  • Vikt868 g
  • FormatInbunden
  • SpråkEngelska
  • SerieHandbook of Logic in Computer Science
  • Antal sidor506
  • FörlagClarendon Press
  • ISBN9780198537625

Tillhör följande kategorier

Du kanske också är intresserad av

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

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

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

7 199 kr

Vitamin D. Chemical, Biochemical and Clinical Update

Vitamin D. Chemical, Biochemical and Clinical Update

A. W. Norman, K. Schaefer, H.-G. Grigoleit, D. v. Herrath, D. V. Herrath, H. -G. Grigoleit

7 199 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 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 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 129 kr

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

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

719 kr

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

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

719 kr

Dynamic Syntax

Dynamic Syntax

Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay, Kempson, Gabbay

1 019 kr