Logic and computer science

Logic and computer science

フォーマット:
図書
責任表示:
edited by Piergiorgio Odifreddi
本文言語:
英語
説明:
xii, 430 p.; 24 cm
出版情報:
London ; Tokyo, United Kingdom. c1990. Academic Press
シリーズ:
A.P.I.C. studies in data processing; v. 31
本文を見る
所蔵情報
Loading availability information

類似資料:

8
Computing in Horn clause theories by Padawitz, Peter, 1953-
11
Computer science : a primer by Forsythe, Alexandra I.
6
Mathematical methods for digital computers by Ralston, Anthony; Wilf, Herbert S., 1931-
12
Studies in computer science by Pollack, Seymour V.
3.
From logic design to logic programming : theorem proving techniques and P-functions by Snyers, Dominique, 1959-; Thayse, André, 1940-
6.
Mathematical methods for digital computers by Ralston, Anthony; Wilf, Herbert S., 1931-
8.
Computing in Horn clause theories by Padawitz, Peter, 1953-
11.
Computer science : a primer by Forsythe, Alexandra I.
12.
Studies in computer science by Pollack, Seymour V.