Bücher nach ISBN > LAP LAMBERT Academic Publishing > Anahit Chubaryan

Anahit Chubaryan

A.C.

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Rabin style speed-up of proofs: More generalized speed-up in the systems of first order logic978-3-8433-7255-8
(3-8433-7255-1)		2010

Anaïc Cordoba