Udvidet returret til d. 31. januar 2025

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

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.
  • 11. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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



Find lignende bøger
Bogen Extensions of First-Order Logic findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.