De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Extensions of First-Order Logic

Extensions of First-Order Logic

af Maria (Universitat de Barcelona) Manzano

indgår i Cambridge Tracts in Theoretical Computer Science serien

Extensions of First-Order Logic af Maria (Universitat de Barcelona) Manzano
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521019026
  • Indbinding:
  • Paperback
  • Sideantal:
  • 412
  • Udgivet:
  • 22. august 2005
  • Størrelse:
  • 170x244x21 mm.
  • Vægt:
  • 645 g.
  • 2-3 uger.
  • 2. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Maria (Universitat de Barcelona) Manzano

Vis alle bøger af Maria (Universitat de Barcelona) Manzano

Beskrivelse af 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.

Brugerbedømmelser af Extensions of First-Order Logic



Andre købte også..
Find lignende bøger
Bogen Extensions of First-Order Logic findes i følgende kategorier: