Sciweavers

Share
8 search results - page 2 / 2
» annals 2010
Sort
View
ANNALS
2010
55views more  ANNALS 2010»
9 years 3 months ago
Long Island, New York
Michael N. Geselowitz
ANNALS
2010
83views more  ANNALS 2010»
9 years 3 months ago
The Turing-850 Project: Developing a Personal Computer in the Early 1980s in Mexico
The increasing popularity in the late 1970s of affordable, general-purpose, microprocessor-based personal computers in the US, generated a widespread interest around the world in t...
Daniel Ortiz Arroyo, Francisco Rodríguez-He...
APAL
2010
98views more  APAL 2010»
9 years 6 months ago
Classical proof forestry
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...
Willem Heijltjes
books