Ian Pratt-Hartmann
Fragments of First-Order Logic
Gebonden Engels 2023 9780192867964Levertijd ± 11 werkdagen
Gratis verzonden
Samenvatting
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?
Specificaties
ISBN13:9780192867964
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:668
Uitgever:OUP OXFORD
Serie:Oxford Logic Guides
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan