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

319 kr

Beställningsvara. Skickas inom 5-8 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

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

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

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

3 019 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 749 kr

Handbook of Philosophical Logic
Del 12

Handbook of Philosophical Logic

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

2 809 kr

Handbook of Philosophical Logic
Del 13

Handbook of Philosophical Logic

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

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

399 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

Du kanske också är intresserad av

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl

Flera Författare

289 kr

Handbook of Philosophical Logic
Del 13

Handbook of Philosophical Logic

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

2 809 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

219 kr259 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 809 kr

Handbook of Philosophical Logic
Del 12

Handbook of Philosophical Logic

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

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

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

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