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

Applied logic : how, what and why : logical approaches to natural language

種類:
図書
責任表示:
edited by László Pólos and Michael Masuch
出版情報:
Dordrecht ; Boston : Kluwer Academic Publishers, c1995
著者名:
シリーズ名:
Synthese library ; v. 247 <BA00017801>
ISBN:
9780792334323 [0792334329]  CiNii Books  Calil
注記:
Proceedings of a conference held in Dec. 1992 in Amsterdam, Netherlands
Includes bibliographies and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)

Springer-Verlag
7 図書 Contemporary research in philosophical logic and linguistic semantics : proceedings of a conference held at the University of Western Ontario, London, Canada

Hockney, D. J., Harper, William L. (William Leonard), 1943-, Freed, John B.

D. Reidel
2 図書 Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings

International Scientific Symposium, Studer, Rudi, 1951-

Springer-Verlag
8 図書 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-

Springer-Verlag
3 電子ブック Knowledge Representation and Reasoning Under Uncertainty : Logic at Work

Masuch, Michael, Pólos, László, SpringerLink (Online service)

Springer-Verlag
9 図書 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938-

Springer-Verlag
4 電子ブック Knowledge Representation and Reasoning Under Uncertainty : Logic at Work

Masuch, Michael., Polos, Laszlo., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

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

North-Holland
5 図書 Logic Colloquium '92

Logic Colloquium, Csirmaz, László, Gabbay, Dov M., 1945-, Rijke, Maarten de, Association for Symbolic Logic

CSLI Publications
11 図書 Logical form in natural language

Lycan, William G., 1945-

MIT Press
6 図書 The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings

Fuhrmann, André, 1958-, Morreau, Michael

Springer-Verlag
12 図書 Logic of computation

NATO Advanced Study Institute on Logic of Computation, Schwichtenberg, Helmut, 1942-

Springer