Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science - Manzano, Maria (Universitat de Barcelona) - Bøger - Cambridge University Press - 9780521019026 - 22. august 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science

Manzano, Maria (Universitat de Barcelona)

Pris
₺ 4.953,75

Bestilles fra fjernlager

Forventes klar til forsendelse 14. - 21. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.

412 pages, black & white illustrations

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 22. august 2005
ISBN13 9780521019026
Forlag Cambridge University Press
Antal sider 412
Mål 170 × 244 × 21 mm   ·   645 g
Sprog Engelsk  
Serieredaktør Abramsky, S.
Serieredaktør Aczel, P. H.
Serieredaktør Bakker, J. W. De
Serieredaktør Gurevich, Y.
Serieredaktør Tucker, J. V.
Serieredaktør Van Rijsbergen, C. J.

Se alt med Manzano, Maria (Universitat de Barcelona) ( f.eks. Paperback Bog )