Blank Cover Image
このページのQRコード

Studies in logic and computation

種類:
図書
出版情報:
Oxford [England] : Clarendon Press
New York : Oxford University Press
注記:
Published: Baldock, Hertfordshire : Research Studies Press, No. 7-
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computational logic

Berger, Ulrich, 1956-, Schwichtenberg, Helmut, 1942-, North Atlantic Treaty Organization. Scientific Affairs Division

Springer
7 図書 Logic, algebra, and computation

NATO Advanced Study Institute on Logic, Algebra, and Computation, Bauer, Friedrich Ludwig, 1924-

Springer-Verlag
2 図書 Logic of computation

NATO Advanced Study Institute on Logic of Computation, Schwichtenberg, Helmut, 1942-

Springer
8 図書 Logics of time and computation

Goldblatt, Robert, 1949-

Center for the Study of Language and Information
3 図書 A computational logic

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press
9 図書 Computation theory and logic

Börger, Egon, 1946-

Springer-Verlag
4 図書 Studies in logic

Peirce, Charles S. (Charles Sanders), 1839-1914, Johns Hopkins University

John Benjamins
10 電子ブック Computation Theory and Logic

Börger, Egon, SpringerLink (Online service)

Springer-Verlag
5 図書 PX, a computational logic

林, 晋(1953-), 中野, 裕

MIT Press
11 電子ブック Computation Theory and Logic

Börger, Egon., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Semantics and logics of computation

Pitts, A. M, Dybjer, Peter

Cambridge University Press
12 図書 Edinburgh LCF : a mechanised logic of computation

Gordon, Michael J. C., 1948-, Milner, Robin, 1934-, Wadsworth, Christopher P., 1946-

Springer-Verlag