>> Amazon.co.jp
このページのQRコード

A computational logic

種類:
図書
責任表示:
Robert S. Boyer and J. Strother Moore
出版情報:
New York : Academic Press, c1979
著者名:
シリーズ名:
ACM monograph series <BA00109706>
ISBN:
9780121229504 [0121229505]  CiNii Books  Calil
注記:
Bibliography: p. 385-387
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computational logic : essays in honor of Alan Robinson

Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-

MIT Press
7 図書 Logic

Coleridge, Samuel Taylor, 1772-1834, Jackson, J. R. de J. (James Robert de Jager)

Routledge and K. Paul, Princeton University Press
2 図書 The Correctness problem in computer science

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

Academic Press
8 図書 Logics of time and computation

Goldblatt, Robert, 1949-

Center for the Study of Language and Information
3 図書 PX, a computational logic

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

MIT Press
9 図書 Logic and representation

Moore, Robert C., 1948-

Center for the Study of Language and Information
4 図書 Automated deduction in equational logic and cubic curves

McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938-

Springer
10 電子ブック Edinburgh LCF : A Mechanised Logic of Computation

Gordon, Michael J., Milner, Arthur J., Wadsworth, Christopher P., SpringerLink (Online service)

Springer-Verlag
5 図書 Automated reasoning and its applications : essays in honor of Larry Wos

Veroff, Robert, Pieper, Gail W., Wos, Larry, 1930-

The MIT Press
11 図書 Edinburgh LCF : a mechanised logic of computation

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

Springer-Verlag
6 図書 Lectures on proof verification and approximation algorithms

Mayr, Ernst W., Prömel, H. J., Steger, Angelika

Springer
12 図書 Combinatorics, computation & logic '99 : proceedings of DMTCS'99 and CATS'99 Auckland, New Zealand, 18-21 january 1999

Caluce, C. S., Dinneen, M. J.

Springer