عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .L63 1997
QA
75
.
5
.
L63
1997
کتابخانه
محل استقرار
119723
زمستان۸۷
English
)20(
Logic of computation
Berlin
Springer
1997
vi, 394 p.: ill.; 24 cm
NATO ASI series. Series F, Computer and systems science
no.157
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995
Includes bibliographical references
Congresses ، Computer science
Congresses ، Logic, symbolic and mathematical
QA
75
.
5
.
L63
1997
TI
edited by Helmut Schwichtenberg
AU tumleH ,grebnethciwhcS 1955-
CO NATO Advanced Study Institute on Logic of Computation )5991: Marktoberdorf, Germany(
SE
02
