>> Google Books
QRコード(所蔵情報)

Computability theory, semantics, and logic programming

フォーマット:
図書
責任表示:
Melvin Fitting
言語:
英語
出版情報:
New York : Oxford University Press
Oxford : Clarendon Press, 1987
形態:
xi, 198 p. ; 25 cm
著者名:
Fitting, Melvin Chris <DA00998822>  
シリーズ名:
Oxford logic guides ; 13 <BA00017765>
書誌ID:
BA00503785
ISBN:
9780195036916 [0195036913]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
7 図書 From logic to logic programming

Doets, Kees

MIT Press
2 図書 Automata and computability

Kozen, Dexter, 1951-

Springer
8 図書 Fuzzy logic and soft computing

Chen, Guoqing, 1956-, Ying, Mingsheng, Cai, Kai-Yuan, 1965-

Kluwer Academic Publishers
3 図書 Computable analysis : an introduction

Weihrauch, Klaus, 1943-

Springer
9 図書 Oxford studies in semantics and pragmatics

Barker, Chris, Kennedy, Chris

Oxford University Press
4 図書 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, R. I. (Robert Irving), 1940-

Springer-Verlag
10 図書 From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory

Kamps, Hans, Reyle, Uwe, 1955-

Kluwer Academic
5 図書 Data structures : theory and practice

Berztiss, Alfs T.

Academic Press
11 図書 Introduction to semantics and formalization of logic

Carnap, Rudolf, 1891-1970

Harvard University Press
6 図書 Theory of program structures : schemes, semantics, verification

Greibach, Sheila, 1939-

Springer-Verlag
12 図書 Studies in automatic programming logic

Manna, Zohar, Waldinger, Richard

North-Holland