Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science - Manzano, Maria (Universitat de Barcelona) - Kirjat - Cambridge University Press - 9780521019026 - maanantai 22. elokuuta 2005
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Manzano, Maria (Universitat de Barcelona)

Hinta
zł 388,90

Tilattu etävarastosta

Arvioitu toimitus pe - ti 15. - 26. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 22. elokuuta 2005
ISBN13 9780521019026
Tuottaja Cambridge University Press
Sivujen määrä 412
Mitta 170 × 244 × 21 mm   ·   645 g
Kieli English  
Sarjaohjaaja Abramsky, S.
Sarjaohjaaja Aczel, P. H.
Sarjaohjaaja Bakker, J. W. De
Sarjaohjaaja Gurevich, Y.
Sarjaohjaaja Tucker, J. V.
Sarjaohjaaja Van Rijsbergen, C. J.

Katso kaikki joka sisältää Manzano, Maria (Universitat de Barcelona) ( Esim. Paperback Book )