Livros de Andre Šcedrov - BookPine

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Helle Hvid Hansen

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson

Categories, Allegories

Categories, Allegories

Peter J. Freyd

Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, ...

Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, ...

Steven Homer

North American Jumelage 'Type Systems'

North American Jumelage 'Type Systems'

Andre Šcedrov

Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo Held at Montecatini Terme, ... 1988

Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo Held at Montecatini Terme, ... 1988

Steven Homer

Harvey Friedman's Research on the Foundations of Mathematics

Harvey Friedman's Research on the Foundations of Mathematics

Harvey Friedman