Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Seisenberger, Monika - Department of Computer Science, University of Wales Swansea
Kruskal's tree theorem in a constructive theory of inductive de nitions
UNIVERSITY OF WALES SWANSEA REPORT SERIES
LABORATORY EXAMS IN FIRST PROGRAMMING COURSES Quintin Cutts
An Inductive Version of Nash-Williams' Minimal-bad-sequence Argument
Deep Blue was a chess-playing computer developed by IBM. On May 11, 1997, the machine won a six-game match by two wins to one with three draws against world champion Garry Kasparov. Kasparov accused IBM of cheating and
BENL, BERGER, SCHWICHTENBERG, SEISENBERGER, ZUBER PROOF THEORY AT WORK
