>> Google Books
タイトル、所在を表示します

Automated deduction in equational logic and cubic curves

フォーマット:
図書
責任表示:
W. McCune, R. Padmanabhan
言語:
英語
出版情報:
Berlin ; Tokyo : Springer, c1996
形態:
ix, 231 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1095 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA27880554
ISBN:
9783540613985 [3540613986]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 First-order logic and automated theorem proving

Fitting, Melvin, 1942-

Springer-Verlag
7 図書 Prolegomena to a middlebrow arithmetic of curves of genus 2

Cassels, J. W. S. (John William Scott), Flynn, E. V

Cambridge University Press
2 図書 Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings

International Conference on Automated Deduction, McCune, W. (William)

Springer
8 図書 Automated theorem proving : a logical basis

Loveland, Donald W., 1934-

North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland
3 図書 PX, a computational logic

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

MIT Press
9 図書 Lectures on equations defining space curves

Szpiro, Lucien

Published for the Tata Institute of Fundamental Research [by] Springer
4 図書 A computational logic handbook

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

Academic Press
10 図書 Automated reasoning and its applications : essays in honor of Larry Wos

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

The MIT Press
5 図書 Symbolic logic and mechanical theorem proving

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press
11 図書 Introduction to algebraic curves

Griffiths, Phillip, 1938-

American Mathematical Society
6 図書 Proof theory and automated deduction

Goubault-Larrecq, Jean, Mackie, I. (Ian)

Kluwer Academic
12 図書 Geometry of algebraic curves

Arbarello, E., Cornalba, Maurizio, Griffiths, Phillip, 1938-, Harris, J. (Joseph Daniel)

Springer-Verlag