21. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
پدیدآورنده : J. Van Eijck )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
22. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
23. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Nonmonotonic and inductive logic:second international workshop reinhards brom castle,Germany,December 1991 proceedings
کتابخانه: (کرمان)
موضوع : Logic programming-congresses,Artificial intelligence-congresses
رده :
QA
76
.
6
.
N671
1993
24. Mind versus computer: were Dreyfus and Winograd right?
پدیدآورنده : edited by M. Gams, M. Paprzycki, and X. Wu
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
25. Mind versus computer :were Dreyfus and Winograd right?
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
1997
26. Natural language understanding
پدیدآورنده : Allen, James
موضوع : ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
28. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
29. Nonmonotonic and inductive logic : Second International Workshop Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
پدیدآورنده : G. Brewka, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
659
30. Nonmonotonic and inductive logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990: proceedings
پدیدآورنده : J. Dix, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
543
31. Over-constrained systems
پدیدآورنده : Michael Jampel, Eugene Freuder, Michael Maher, )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Constraints )Artificial intelligence(,، System analysis
رده :
QA
76
.
L28
Vol
.
1106
32. Termination proofs for logic programs
پدیدآورنده : Plumer, Lutz
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming,، Artificial intelligence
رده :
QA
76
.
63
.
P58
1990
33. Termination proofs for logic programs
پدیدآورنده : Plumer, Lutz
کتابخانه: (طهران)
موضوع : ، Logic programming,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
446
34. Termination proofs for logic programs /
پدیدآورنده : Lutz Plümer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.
رده :
QA76
.
63
.
P58
1990
35. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
36. Uncertainty treatment using paraconsistent logic
پدیدآورنده : Joao Inacio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence
رده :
QA
,
76
.
87
,.
S57
,
2010
37. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
63
.
N67
1993
