Blank Cover Image
所蔵情報QRコード

Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]

資料種別:
図書
出版情報:
Berlin : Springer-Verlag, 1970
形態:
310 p. ; 26 cm
シリーズ名:
Lecture notes in mathematics ; 125 <BA00146586>
著者名:
書誌ID:
BA06809416
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

M. Laudet

SpringerLink Books Lecture Notes In Mathematics Archive, Springer Berlin Heidelberg

International Symposium on Design and Implementation of Symbolic Computation Systems, Calmet, Jacques, 1941-, …

Springer

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., …

North-Holland

International Workshop on TYPES, Dybjer, Peter, Nordström, Bengt, Smith, Jan M

Springer-Verlag

International Conference on Automated Deduction, Voronkov, A. (Andreĭ), 1959-

Springer

International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.

Springer

International Conference on Logic Programming, Stuckey, Peter J.

Springer

International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer

International Conference on Theorem Proving in Higher Order Logics, Carreño, Victor A., Muñoz, César, Tahar, Sofiène

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12