Refine your search
Availability
-
bib-level
- m (2)
-
Authors
- De Paz, Juan F. (1)
- Fdez-Riverola, Florentino (1)
- Lusk, Ewing (1)
- Overbeek, Ross (2)
- Rocha, Miguel P. (1)
- Wos, Larry (1)
- Show more
- Show less
-
Locations
- Книгохранилище (1)
-
Item types
-
Topics
- Artificial Intelligence (incl. Robotics) (1)
- Artificial intelligence (2)
- Automatic theorem proving (1)
- Bioinformatics (1)
- Chemoinformatics (1)
- Computational Biology/Bioinformatics (1)
- Computational Intelligence (1)
- Computer Applications in Chemistry (1)
- Computer programming (1)
- Engineering (1)
- engineering (1)
- Show more
- Show less