Temporal Logic: Volume 2 1
bokomslag Temporal Logic: Volume 2
Data & IT

Temporal Logic: Volume 2

Dov M Gabbay

Inbunden

5559:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 612 sidor
  • 2000
Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time.
  • Författare: Dov M Gabbay
  • Illustratör: line figures
  • Format: Inbunden
  • ISBN: 9780198537687
  • Språk: Engelska
  • Antal sidor: 612
  • Utgivningsdatum: 2000-03-01
  • Förlag: OUP Oxford

Du kanske gillar

  1. bokomslag Urban Tourism, Viral Society, and the Impact of the COVID-19 Pandemic

    Urban Tourism, Viral Society, and the...

    Moiss Martins Pedro Andrade

    Inbunden

    5559:-
  2. bokomslag Medical Sensors And Lab-on-a-chip Devices: Mechanisms, Biofunctionalization And Measurement Techniques

    Medical Sensors And Lab-on-a-chip Dev...

    Vinod Kumar Khanna

    Inbunden

    5559:-
  3. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    2869:-
  4. bokomslag Semantical Investigations in Heyting's Intuitionistic Logic

    Semantical Investigations in Heyting'...

    Dov M Gabbay

    Pocket

    2869:-
  5. bokomslag Handbook of Research on Sustainable Tourism and Hotel Operations in Global Hypercompetition

    Handbook of Research on Sustainable T...

    Bryan Christiansen Hakan Sezerel

    Inbunden

    5559:-
  6. Ny
    bokomslag Critical Approaches to Data Engineering Systems and Analysis

    Critical Approaches to Data Engineeri...

    Abhijit Bora, Papul Changmai, Mrutyunjay Maharana

    Inbunden

    5559:-
  7. bokomslag Emerging Materials, Technologies, and Solutions for Energy Harvesting

    Emerging Materials, Technologies, and...

    Mehta, Abougreen, Gupta

    Inbunden

    5559:-
  8. bokomslag Handbook of Research on Applied Artificial Intelligence and Robotics for Government Processes

    Handbook of Research on Applied Artif...

    David Valle-Cruz, Nely Plata-Cesar, Jacobo Leonardo Gonzlez-Ruz

    Inbunden

    5559:-
  9. bokomslag Handbook of Research on Promoting Logistics and Supply Chain Resilience Through Digital Transformation

    Handbook of Research on Promoting Log...

    Ilyas Masudin, Mohammad Nabil Almunawar, Dian Palupi Restuputri, Ploy Sud-On

    Inbunden

    5559:-
  10. bokomslag Approaches to Legal Rationality

    Approaches to Legal Rationality

    Dov M Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin

    Inbunden

    3309:-

Andra av samma författare

  1. bokomslag What is Negation?

    What is Negation?

    Heinrich Wansing Dov M Gabbay

    Inbunden

    3969:-
  2. bokomslag Logic from Russell to Church

    Logic from Russell to Church

    Dov M Gabbay

    Inbunden

    3559:-
  3. bokomslag The Many Valued and Nonmonotonic Turn in Logic

    The Many Valued and Nonmonotonic Turn...

    Dov M Gabbay

    Inbunden

    5259:-
  4. bokomslag Fibring Logics

    Fibring Logics

    Dov M Gabbay

    Inbunden

    2309:-
  5. bokomslag Interpolation and Definability

    Interpolation and Definability

    Dov M Gabbay

    Inbunden

    4099:-
  6. bokomslag Temporal Logic: Volume 1

    Temporal Logic: Volume 1

    Dov M Gabbay

    Inbunden

    6439:-
  7. bokomslag Labelled Deductive Systems

    Labelled Deductive Systems

    Dov M Gabbay

    Inbunden

    2469:-
  8. bokomslag Mathematical Problems from Applied Logic I

    Mathematical Problems from Applied Lo...

    Michael Zakharyaschev Dov M Gabbay

    Inbunden

    2869:-
  9. bokomslag Greek, Indian and Arabic Logic

    Greek, Indian and Arabic Logic

    Dov M Gabbay

    Inbunden

    3229:-
  10. bokomslag British Logic in the Nineteenth Century

    British Logic in the Nineteenth Century

    Dov M Gabbay

    Inbunden

    4959:-