Jetzt Logic And Declarative Language von M. Downward als Buch bei 1Advd.ch kaufen

Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!

Übersicht

Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	März 1998
Genre:	Philosophie
	Abstract type / automated theorem proving / Binary search tree / COMPUTERS / Computer Science / Deduction Tree / Domain Elements / Elimination Rule / Empty List / Equality Axioms / Functional Language / Hasse diagram / Herbrand Universe / Inference Rule / Introduction Rule / Intuitionistic Logic / Lambda Calculus / Logic Languages / logic programming foundations / manual proof construction techniques / natural deduction / Natural Deduction Proofs / Negation Normal Form / PHILOSOPHY / General / Philosophy# logic / Prolog language applications / Proof Objects / proof strategies / proof tree / Propositional calculus / Quantifier Inferences / Semantic Tableau / term rewriting / TRSs / Vice Versa mehr...
ISBN:	9780748408030
EAN-Code:	9780748408030
Verlag:	Taylor and Francis
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 234 mm / B 156 mm / D
Gewicht:	680 gr
Seiten:	384
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.

Weitere Tipps:		0 Warenkorb ansehen


SUCHEN