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

Solving higher-order equations : from logic to programming

種類:
図書
責任表示:
Christian Prehofer
出版情報:
Boston : Birkhäuser, c1998
著者名:
Prehofer, Christian, 1967-  
シリーズ名:
Progress in theoretical computer science <BA1282110X>
ISBN:
9780817640323 [0817640320]  CiNii Books  Calil
9783764340322 [3764340320]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, …

Brazilian Conference on Mathematical Logic, Carnielli, Walter A., D'Ottaviano, Itala M. L.,1944-

American Mathematical Society
7 図書 Handbook of logic in artificial intelligence and logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
2 図書 Equational logic as a programming language

O'Donnell, Michael J.

MIT Press
8 図書 Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauß, M. (Manfred)

Springer-Verlag
3 図書 The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Dartmouth
9 図書 Automated deduction in equational logic and cubic curves

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

Springer
4 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press
10 図書 Logic and visual information

Hammer, Eric M., 1967-

CSLI Publications, FoLLI
5 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
11 図書 Computational logic

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

Springer
6 図書 Temporal logic of programs

Kröger, Fred, 1945-

Springer-Verlag
12 図書 Logic in computer science : modelling and reasoning about systems

Huth, Michael, 1962-, Ryan, Mark, 1962-

Cambridge University Press