1. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
2. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
3. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
4. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده : Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
5. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
6. Frontiers of combining systems :
پدیدآورنده : Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2013
7. Functional and constraint logic programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ;
8. Functional and constraint logic programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
9. Functional and constraint logic programming :
پدیدآورنده : Josep Silva (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
رده :
QA76
.
62
10. Functional and constraint logic programming :
پدیدآورنده : Julio Mariño (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
11. Functional and constraint logic programming
پدیدآورنده : / Santiago Escobar (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
W45
2010
12. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
13. MICAI 2002 :
پدیدآورنده : Carlos A. Coello Coello [and others], (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
14. Parallel problem solving from nature - PPSN VI ;
پدیدآورنده : Marc Schoenauer [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
C69
2000
15. Practical aspects of declarative languages :
پدیدآورنده : José Júlio Alferes, Moa Johansson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
رده :
QA76
.
76
.
C65
16. Principles and Practice of Constraint Programming
پدیدآورنده : \ Gilles Pesant (ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
17. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
18. Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving : 10th portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
پدیدآورنده : Pavel Brazdil, Alipio Jorge, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2258
19. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
20. Recent advances in constraints
پدیدآورنده : Javier Larrosa, Barry O'Sullivan (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
رده :
Q340
.
J65
2011
