>> Google Books
所蔵情報QRコード

Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
344 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 816 <BA00009279>
著者名:
ISBN:
9783540582335 [3540582339] (: gw)
9780387582337 [0387582339] (: us)
書誌ID:
BA23202482
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles

Springer

International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L.

Springer-Verlag

Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

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

North-Holland

Dowek, Gilles, Heering, J., Meinke, Karl, Möller, Bernhard

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles

Springer

Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl)

Springer-Verlag

Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre

Springer-Verlag

Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for …

Springer

Workshop on Computer Science Logic, Nielsen, M. (Mogens), 1949-, Thomas, Wolfgang, European Association for Computer …

Springer

International Conference on Rewriting Techniques and Applications, Kirchner, Claude

Springer-Verlag

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