Logic and complexity

Richard Lassaigne and Michel de Rougemont
Bok · Engelsk · 2003

Utgitt	New York : Springer , 2003
Omfang	p. cm.
Opplysninger	Includes bibliographical references and index.
Emner	Computational complexity Logic, Symbolic and mathematical
Dewey	511.3
ISBN	1852335653