1 Motivation.- 1 Motivation.- I Logics.- 2 Model Generation.- 3 Higher-Order Model Generation.- 4 Minimal Model Generation.- II Linguistics.- 5 The Analysis of Definites.- 6 Reciprocity.- 7 Abduction.- 8 Implementation.- 9 Conclusion.- A Some Example Problems.- References and Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9783662190302_new
Anzahl: Mehr als 20 verfügbar