Počet záznamů: 1
From feasible proofs to feasible computations
- 1.Krajíček, Jan
From feasible proofs to feasible computations.
Computer Science Logic 2010. Heidelberg: Springer, 2010 - (Dawar, A.; Veith, H.), s. 22-31. Lecture Notes in Computer Science, 6247. ISBN 978-3-642-15204-7.
[Computer science logic 2010. Brno (CZ), 23.08.2010-27.08.2010]
http://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3
http://hdl.handle.net/11104/0192912
Počet záznamů: 1