Refine your search
Availability
-
Authors
- Patra, P. Santosh Kumar
- Abell, Martha L.
- Achten, Peter
- Arbab, Farhad
- Babu, B. V.
- Bensalem, Saddek
- Braselton, James P.
- Dahl, Veronica
- Duan, Zhenhua
- Hinze, Ralf
- International Workshop on Natural Language Understanding and Logic Programming
- Kohlenbach, Ulrich
- Legay, Axel
- Leite, João
- Liu, Shaoying
- Pradhan, Sushama
- Queiroz, Ruy de
- Royle, J. Andrew
- Saint-Dizier, Patrick
- Son, Tran Cao
- Show more
- Show less
-
Item types
-
Locations
-
Places
-
Series
- Graduate Texts in Operations Research
- Kluwer international series in engineering and computer science
- Lecture Notes in Computer Science
- Outstanding Contributions to Logic
- Statistics, textbooks and monographs
- Studies in logic, languageand information
- Symbolic and numeric computation series
- Texts in Computer Science
- Texts in Theoretical Computer Science. An EATCS Series
- The Kluwer international series in engineering and computer science
- VNR computer library
- Show more
- Show less
-
Topics
- Algorithms
- Artificial intelligence
- Computer communication systems
- Computer logic
- Computer programming
- Computer science
- Computer security
- Computer simulation
- Computers
- Data processing
- Management information systems
- Mathematica (Computer program language)
- Mathematical Logic and Foundations
- Mathematical logic
- Mathematical models
- Mathematical statistics
- Mathematics
- Programming languages (Electronic computers)
- R (Computer program language)
- Software engineering
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages
