Blank Cover Image
QRコード(所蔵情報)

Truth, deduction, and computation : logic and semantics for computer science

フォーマット:
図書
責任表示:
R.E. Davis
言語:
英語
出版情報:
New York : Computer Science Press, c1989
形態:
xv, 265 p. : ill. ; 25 cm
著者名:
Davis, Ruth E. <DA05080754>  
シリーズ名:
Principles of computer science series <BA00287817>
書誌ID:
BA07836990
ISBN:
9780716782018 [0716782014]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic of domains

Zhang, Guo-Qiang, 1960-

Birkhäuser
7 図書 Computer science : an overview

Brookshear, J. Glenn

Benjamin/Cummings Pub. Co.
2 図書 Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings

Guessarian, Irène, 1948-, Laboratoire Informatique Théorique et Programmation (France). Spring School, Institut pour &hellip;

Springer-Verlag
8 図書 Discrete mathematics in computer science

Stanat, Donald F., 1937-, McAllister, David F., 1941-

Prentice-Hall International
3 図書 Mathematical logic for computer science

Lu, Zhongwan

World Scientific
9 図書 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-

Springer-Verlag
4 図書 Epistemic logic for AI and computer science

Meyer, John-Jules, Hoek, W. van der

Cambridge University Press
10 図書 Logic, language and computation

Seligman, Jerry, 1964-, Westerståhl, Dag, 1946-, Moss, Lawrence Stuart, 1959-, Ginzburg, Jonathan, 1964-, Rijke, &hellip;

Center for the Study of Language and Information
5 図書 Introduction to computers

Davis, Gordon Bitter

MaGraw-Hill
11 図書 Logic for computer scientists

Schöning, Uwe, 1955-

Birkhäuser
6 図書 A first course in formal logic and its applications in computer science

Dowsing, Roy, Rayward-Smith, V. J., Walter, C. D.

Blackwell Scientific Publications
12 図書 Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauß, M. (Manfred)

Springer-Verlag