Theory reasoning in connection calculi


Peter Baumgartner
Bok Engelsk 1998
Utgitt
Berlin : Springer , c1998
Omfang
IX, 283 s. : ill.
Opplysninger
Rev. utg. av forfatterens avhandling (doktorgrad) - Universität Koblenz-Landau
Emner
ISBN
3540655093

Bibliotek som har denne