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

Computational aspects of an order-sorted logic with term declarations

種類:
図書
責任表示:
M. Schmidt-Schauß
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989
著者名:
Schmidt-Schauß, M. (Manfred) <DA03712890>  
シリーズ名:
Lecture notes in computer science ; 395 . Lecture notes in artificial intelligence <BA00009279>
ISBN:
9783540517054 [3540517057] (: gw)  CiNii Books  Calil
9780387517056 [0387517057] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Computational Aspects of an Order-Sorted Logic with Term Declarations

Schmidt-Schauß, Manfred., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Solving higher-order equations : from logic to programming

Prehofer, Christian, 1967-

Birkhäuser
2 電子ブック Computational Aspects of an Order-Sorted Logic with Term Declarations

Schmidt-Schauß, M., SpringerLink (Online service)

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

Shapiro, Stewart, 1951-

Dartmouth
3 図書 Temporal logic : mathematical foundations and computational aspects

Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo

Clarendon Press, Oxford University Press
9 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Springer
4 図書 Term logic with choice operator

Hermes, Hans

Springer-Verlag
10 図書 Logic and visual information

Hammer, Eric M., 1967-

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

Harel, David, 1950-

Springer-Verlag
11 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Prentice Hall
6 図書 PX, a computational logic

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

MIT Press
12 図書 Closure spaces and logic

Martin, Norman M., Pollard, Stephen

Kluwer