Hoppa till sidans huvudinnehåll

Del 65

Elementary Logic with Applications

A Procedural Perspective for Computer Scientists

Häftad, Engelska, 2016

AvD 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
  • SerieDel 65 i Logic (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 969 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 699 kr

Handbook of Philosophical Logic

Handbook of Philosophical Logic

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

2 699 kr

Handbook of Philosophical Logic

Handbook of Philosophical Logic

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

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

409 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

Hoppa över listan

Du kanske också är intresserad av

Handbook of Philosophical Logic

Handbook of Philosophical Logic

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

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

409 kr

Handbook of Philosophical Logic

Handbook of Philosophical Logic

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

2 699 kr

Handbook of Philosophical Logic

Handbook of Philosophical Logic

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

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

359 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