Hoppa till sidans huvudinnehåll

Del 65

Elementary Logic with Applications

A Procedural Perspective for Computer Scientists

Häftad, Engelska, 2016

Av D M Gabbay, O T Rodrigues, D. M. Gabbay, O. T. Rodrigues

329 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum2016-09-27
  • Mått156 x 234 x 19 mm
  • Vikt508 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLogic (Yellow)
  • Antal sidor364
  • FörlagCollege Publications
  • ISBN9781848902251

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

9 739 kr

What is a Logical System?
Del 4

What is a Logical System?

D. M. Gabbay, University of London) Gabbay, D. M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine

4 149 kr

Many-Dimensional Modal Logics: Theory and Applications
Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

2 989 kr

Agenda Relevance: A Study in Formal Pragmatics
Del 1

Agenda Relevance: A Study in Formal Pragmatics

Dov M., Gabbay, D. M., Gabbay, Dov M. Gabbay, John Woods

2 719 kr

Handbook of Philosophical Logic
Del 12

Handbook of Philosophical Logic

D.M. Gabbay, Franz Guenthner, D. M. Gabbay

2 749 kr

Handbook of Philosophical Logic
Del 13

Handbook of Philosophical Logic

D.M. Gabbay, Franz Guenthner, D. M. Gabbay, D M Gabbay

2 749 kr

Resolution of Conflicts and Normative Loops in the Talmud

Resolution of Conflicts and Normative Loops in the Talmud

M. Abraham, D. M. Gabbay, U. Schild

419 kr

Logic for Artificial Intelligence and Information Technology

Logic for Artificial Intelligence and Information Technology

Dov M. Gabbay, D. M. Gabbay

409 kr

New Approach to Quantum Logic

New Approach to Quantum Logic

Kurt Engesser, Dov M. Gabbay, Daniel Lehmann, K. Engesser, D. M. Gabbay, D. Lehmann

339 kr

Hoppa över listan

Du kanske också är intresserad av

Handbook of Philosophical Logic
Del 13

Handbook of Philosophical Logic

D.M. Gabbay, Franz Guenthner, D. M. Gabbay, D M Gabbay

2 749 kr

Resolution of Conflicts and Normative Loops in the Talmud

Resolution of Conflicts and Normative Loops in the Talmud

M. Abraham, D. M. Gabbay, U. Schild

419 kr

Handbook of Philosophical Logic
Del 12

Handbook of Philosophical Logic

D.M. Gabbay, Franz Guenthner, D. M. Gabbay

2 749 kr

Handbook of Philosophical Logic
Del 12

Handbook of Philosophical Logic

D.M. Gabbay, Franz Guenthner, D. M. Gabbay, F. Guenthner

2 749 kr

What is a Logical System?
Del 4

What is a Logical System?

D. M. Gabbay, University of London) Gabbay, D. M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine

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

9 739 kr

Second-order Quantifier Elimination

Second-order Quantifier Elimination

Dov Gabbay, Renate A. Schmidt, Andrzej Szalas, D. M. Gabbay, R. Schmidt, A. Szalas

369 kr

New Approach to Quantum Logic

New Approach to Quantum Logic

Kurt Engesser, Dov M. Gabbay, Daniel Lehmann, K. Engesser, D. M. Gabbay, D. Lehmann

339 kr

Handbook of Paraconsistency

Handbook of Paraconsistency

Jean-Yves Beziau, Walter A. Carnielli, Dov M. Gabbay, J. Y. Beziau, W. Carnielli, D. M. Gabbay

409 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

9 739 kr