Your search returned 2 results.

Results
	1.	Proof complexity/ Jan Krajícek, Charles University, Prague. by Krajícek, Jan [author.] Series: Encyclopedia of mathematics and its applications ; v. 170. Publisher: Cambridge, United Kingdom; New York, NY: Cambridge University Press, 2019 Availability: Items available for loan: Castorina (1)Call number: 511.3 K89p 2019 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Algorithmic aspects of graph connectivity/ Hiroshi Nagamochi, Toshihide Ibaraki. by Nagamochi, Hiroshi, 1060 Ibaraki, Toshihide [author.] Series: Encyclopedia of mathematics and its applications ; 123 Publisher: Cambridge: Cambridge University Press, 2019 Availability: Items available for loan: Castorina (1)Call number: 511.5 N147a 2019 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search