Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings

Podrobná bibliografie

Další autoři:	Boulton, Richard J. (Editor) Jackson, Paul B., 1962- (Editor)
Konference:	TPHOLs 2001 (14. : 2001 : Edinburgh, Velká Britanie)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 2001
Edice:	Lecture notes in computer science, v. 2152
ISBN:	3-540-42525-X
Témata:	matematická logika automatická dedukce výpočetní technika
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!