Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[ - detaljert visning

Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures

COMPOS'97
Bok Engelsk 1998


Utgitt	Berlin : Springer , c1998
Omfang	646 s. : ill.
Emner	Automatic theorem proving - Congresses Parallel processing (Electronic computers) - Congresses Bevisføring (Matematikk) - Databehandling Bevisteori Modularisering (Programmering)
ISBN	3540654933