skip to main content

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Kahle, Reinhard ; Schroeder-Heister, Peter ; Stärk, Robert Schroeder-Heister, Peter ; Kahle, Reinhard ; Stärk, Robert

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.