Fragments of First-Order Logic 1
bokomslag Fragments of First-Order Logic
Vetenskap & teknik

Fragments of First-Order Logic

Ian Pratt-Hartmann

Inbunden

2479:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

  • 672 sidor
  • 2023
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
  • Författare: Ian Pratt-Hartmann
  • Format: Inbunden
  • ISBN: 9780192867964
  • Språk: Engelska
  • Antal sidor: 672
  • Utgivningsdatum: 2023-03-30
  • Förlag: OUP Oxford

Du kanske gillar

  1. bokomslag First-Order Logic and Automated Theorem Proving

    First-Order Logic and Automated Theor...

    Melvin Fitting

    Pocket

    1289:-
  2. bokomslag The Characteristic Method and Its Generalizations for First-Order Nonlinear Partial Differential Equations

    The Characteristic Method and Its Gen...

    Tran Duc Van, Miko Tsuji, Nguyen Duy Thai Son

    Inbunden

    2079:-
  3. bokomslag Metamathematics of First-Order Arithmetic

    Metamathematics of First-Order Arithm...

    Pavel Pudlak Petr Hajek

    Pocket

    1959:-
  4. bokomslag Calculation and Use of First-Order Rate Constants for Monitored Natural Attenuation Studies

    Calculation and Use of First-Order Ra...

    U S Environmental Protection Agency

    Pocket

    359:-
  5. bokomslag First-Order Methods in Large-Scale Semidenite Optimization

    First-Order Methods in Large-Scale Se...

    Michael Burgisser

    Pocket

    509:-
  6. bokomslag Dynamics of First-Order Phase Transitions in Equilibrium and Nonequilibrium Systems

    Dynamics of First-Order Phase Transit...

    S W Koch

    Pocket

    759:-
  7. bokomslag Dynamics through First-Order Differential Equations in the Configuration Space

    Dynamics through First-Order Differen...

    Jaume Llibre, Rafael Ramrez, Valentn Ramrez

    Pocket

    2239:-
  8. bokomslag First-Order Triangulation and Traverse in Louisiana: 1927 Datum

    First-Order Triangulation and Travers...

    U S Coast And Geodetic Survey Orlando...

    Häftad

    659:-
  9. bokomslag First-order and Stochastic Optimization Methods for Machine Learning

    First-order and Stochastic Optimizati...

    Guanghui Lan

    Pocket

    1279:-
  10. bokomslag First-Order Representations of Linear Systems

    First-Order Representations of Linear...

    Margreet Kuijper

    Inbunden

    1219:-

Andra av samma författare

  1. bokomslag Handbook of Spatial Logics

    Handbook of Spatial Logics

    Marco Aiello, Ian Pratt-Hartmann, Johan Van Benthem

    Inbunden

    4329:-
  2. bokomslag Handbook of Spatial Logics

    Handbook of Spatial Logics

    Marco Aiello, Ian Pratt-Hartmann, Johan Van Benthem

    Pocket

    4329:-