Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, I - detaljert visning

Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings

FroCoS 2002
Bok Engelsk 2002


Utgitt	Berlin : Springer , c2002
Omfang	VIII, 254 s. : ill.
Emner	Computer science Logic, Symbolic and mathematical Matematisk logikk - Databehandling
ISBN	3540433813