Bøger af Maria (Universitat de Barcelona) Manzano
Filter
Sorter efterSorter
Populære
-
835,95 kr. 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.
- Bog
- 835,95 kr.