Second-order Quantifier Elimination 1
bokomslag Second-order Quantifier Elimination
Data & IT

Second-order Quantifier Elimination

Dov Gabbay • Renate A Schmidt • Andrzej Szalas • D M Gabbay • R Schmidt

379:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 2008
  • Författare: Dov Gabbay, Renate A Schmidt, Andrzej Szalas, D M Gabbay, R Schmidt
  • Format: Trade paperback
  • ISBN: 9781904987567
  • Språk: Engelska
  • Utgivningsdatum: 2008-04-17
  • Förlag: College Publications

Du kanske gillar

  1. bokomslag Alternatives to Set Theory

    Alternatives to Set Theory

    Klaus Robering

    339:-
  2. bokomslag Knowledge in Flux

    Knowledge in Flux

    P Gardenfors Peter Gardenfors

    359:-
  3. bokomslag Molekular- und Zellbiologie

    Molekular- und Zellbiologie

    N Blin, M F Trendelenburg, E R Schmidt, M F Trendelenburg, E R Schmidt

    Pocket

    749:-
  4. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

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

    Inbunden

    2829:-
  5. bokomslag Time & Logic

    Time & Logic

    Leonard Bolc, Andrzej Sza?As, Andrzej Szalas

    Inbunden

    2399:-
  6. bokomslag The History of the Supreme Court of the United States

    The History of the Supreme Court of t...

    Alexander M Bickel, Jr Schmidt Benno C, Alexander M Bickel, Benno C Schmidt Jr, Jr Schmidt Benno C

    Inbunden

    1279:-
  7. bokomslag Handbook of Temporal Reasoning in Artificial Intelligence

    Handbook of Temporal Reasoning in Art...

    Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M Gabbay, Lluis Vila

    Inbunden

    4429:-
  8. bokomslag Social Capital of Organizations

    Social Capital of Organizations

    S M Gabbay, Roger Th A J Leenders, Samuel B Bacharach, S M Gabbay, Roger Th A J Leenders

    Inbunden

    1859:-
  9. bokomslag Computational Logic

    Computational Logic

    Dov M Gabbay, Jörg H Siekmann, John Woods, Dov M Gabbay, Jörg H Siekmann

    Inbunden

    3049:-
  10. bokomslag Macht Und Ohnmacht Der Bilder

    Macht Und Ohnmacht Der Bilder

    Peter Blickle, Andre Holenstein, Heinrich R Schmidt, Franz-Josef Sladeczek, Heinrich R Schmidt

    Klotband

    1689:-

Andra av samma författare

  1. bokomslag What is a Logical System?

    What is a Logical System?

    D M Gabbay D M Gabbay

    Inbunden

    3329:-
  2. bokomslag Change in SMEs

    Change in SMEs

    R Schmidt K Bluhm

    Inbunden

    749:-
  3. bokomslag Time & Logic

    Time & Logic

    Leonard Bolc, Andrzej Sza?As, Andrzej Szalas

    Inbunden

    2399:-
  4. bokomslag Time & Logic

    Time & Logic

    Leonard Bolc, Andrzej Sza?As, Andrzej Szalas, Andrzej Sza¿As

    Pocket

    659:-
  5. bokomslag Mathematical Problems from Applied Logic II

    Mathematical Problems from Applied Lo...

    Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev

    Inbunden

    1429:-
  6. bokomslag Agenda Relevance: A Study in Formal Pragmatics

    Agenda Relevance: A Study in Formal P...

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

    Inbunden

    2809:-
  7. bokomslag Handbook of Temporal Reasoning in Artificial Intelligence

    Handbook of Temporal Reasoning in Art...

    Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M Gabbay, Lluis Vila

    Inbunden

    4429:-
  8. bokomslag Cluster and Phoenix Missions

    Cluster and Phoenix Missions

    R T Russell, Cluster Mission, C P Escoubet, R Schmidt, C T Russell

    Inbunden

    2829:-
  9. bokomslag Change in SMEs

    Change in SMEs

    R Schmidt K Bluhm

    Pocket

    749:-
  10. bokomslag Educating the Engineer for the 21st Century

    Educating the Engineer for the 21st C...

    D Weichert, B Rauhut, R Schmidt

    Inbunden

    2139:-