Search results for "Reasoning -- Data processing" | NDL Search

Search results 4

Group by title

Tractable reasoning in artificial intelligence / Marco Cadoli. (Lecture notes in computer science ; 941. Lecture notes in artificial intelligence)

Paper図書

Springer-Verlagc1995.<M121-A138>

National Diet Library

Subject Heading... intelligence. Reasoning -- Data processing. Computational complexity. Ap...

MERλIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia pbk.

Paper図書

A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)Association for Computing Machineryc2005

Other Libraries in Japan

Subject Heading... -- Congresses Reasoning -- Data processing -- Congresses
Subject Heading (ID)... -- Congresses Reasoning -- Data processing -- Congresses

Tractable reasoning in artificial intelligence

Paper図書

Marco CadoliSpringer-Verlagc1995

Other Libraries in Japan

Subject HeadingArtificial intelligence Reasoning -- Data processing Computational complexity Appr...
Subject Heading (ID)Artificial intelligence Reasoning -- Data processing Computational complexity Appr...

Simply logical : intelligent reasoning by example : disk : book/disk set

Paper図書

Peter FlachWileyc1994

Other Libraries in Japan

Subject HeadingArtificial intelligence Reasoning -- Data processing Logic, Symbolic and mathemati...
Subject Heading (ID)Artificial intelligence Reasoning -- Data processing Logic, Symbolic and mathemati...

Reached to the end of result.

RSS