- Programming languages 83
- Artificial intelligence 81
- Inteligencia artificial 81
- Lenguajes de programación 78
- Mathematical logic 77
- Logics and meanings of programs 74
- Lógica matemática 73
- Software engineering 73
- Formal languages 68
- Lógica y significado de programas 68
- Lenguajes formales 62
- Ingeniería de software 60
- Analysis of algorithms and problem complexity 50
- Análisis numérico 48
- Análisis de algoritmos y problemas de complejidad 47
- Discrete mathematics 45
- Computer networks 43
- Mathematical logic-Computation 43
- FILOSOFIA DE LA CIENCIA 42
- Programming techniques 42
- Redes de computadoras 42
- Computation by abstract devices 41
- Lógica matemática-Computación 41
- Matemática discreta 40
- Deducción y prueba de teoremas 39
- Ecuaciones diferenciales parciales 39
- Database management 38
- Deduction and theorem proving 38
- Numerical analysis 38
- Computación mediante dispositivos abstractos 36
-
61
Intelligent agents II : agent theories, architectures and languages : JCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
62
Connectionist, statistical, and symbolic approaches to learning for natural language processing /
Published 1996“…Lecture notes in computer science ;…”
Book -
63
Adaption and learning in multi-agent systems / IJCAI '95 workshop, Montréal, Canada, August 21, 1995 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
64
-
65
Extensions of logic programming /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
66
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
67
Practical reasoning /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
68
Evaluating natural language processing systems : an analysis and review /
Published 1995“…Lecture notes in computer science ;…”
Book -
69
Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW ’96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
70
Advances in artificial intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96 Toronto, Ontario, Canada, May 21-24, 1996 :...
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
71
Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Book -
72
Advances in fuzzy logic, neural networks and genetic algorithms : EEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 1994 : selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
73
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
74
La science antique et médiévale : des origines a 1450 /
Published 1957“…Histoire génerale des sciences…”
Book -
75
Nursing and globalization in the Americas : a critical perspective /
Published 2009“…Critical approaches in the health social sciences series.…”
Book -
76
Nondestructive food evaluation : techniques to analyze properties and quality /
Published 2001“…Food science and technology (Marcel Dekker, Inc.) ;…”
Publisher description
Book -
77
Hygiene in food processing : principles and practice /
Published 2014“…Woodhead Publishing in food science, technology, and nutrition ;…”
Book -
78
-
79
Bioprocess engineering : basic concepts /
Book -
80