Handbook of logic in computer science. Vol. 5. Logic and algebraic methods

volume co-ordinator: Dov M. Gabbay
Bok · Engelsk · 2000 · Håndbøker

Utgitt	Oxford : Clarendon Press , 2000
Omfang	XVIII, 537 s.
Emner	Computer science Logic, Symbolic and mathematical Abstrakte datatyper Algebraiske metoder Vis mer... Martin-løf typeteori Matematisk logikk Symbolsk databehandling : (NO-TrBIB)REAL011198 Typespesifikasjon Typeteori databehandling logikk symbolsk matematisk
Sjanger	Håndbøker
ISBN	0198537816