Norges billigste bøker
Kundene elsker oss
Alltid gratis frakt*
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. Extensions of First-Order Logic

Extensions of First-Order Logic

av Maria (Universitat de Barcelona) Manzano

del av Cambridge Tracts in Theoretical Computer Science-serien

Extensions of First-Order Logic av Maria (Universitat de Barcelona) Manzano
Om Extensions of First-Order Logic

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521019026
  • Bindende:
  • Paperback
  • Sider:
  • 412
  • Utgitt:
  • 22. august 2005
  • Dimensjoner:
  • 170x244x21 mm.
  • Vekt:
  • 645 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025

Om Maria (Universitat de Barcelona) Manzano

Se alle bøkene av Maria (Universitat de Barcelona) Manzano

Beskrivelse av Extensions of First-Order Logic

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.

Brukervurderinger av Extensions of First-Order Logic



Andre har også kjøpt..
Finn lignende bøker
Boken Extensions of First-Order Logic finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.