Mostrando 51 - 52 resultados de 52 para a busca '"Logic programming."', tempo de busca: 0.02s
Refinar Resultados
-
51
PYTHIA-II a knowledge por Houstis, Elias N.
Publicado no ACM transactions on mathematical software.Número de Chamada: loading...
Localizado: loading...Artigo loading... -
52
From application descriptions to hardware in seconds a logic-based approach to bridging the gap. por Benkrid, K.
Publicado no IEEE Transactions on VLSI systemsNúmero de Chamada: loading...
Localizado: loading...Artigo loading...
Ferramentas de busca:
Refinar Resultados
A página será recarregada quando um filtro for selecionado ou excluído.- College of Engineering Library II 33 resultados 33
- Diliman Main Library: Info. Services & Instruction Section 7 resultados 7
- College of Science 1 resultados 1
- Diliman Main Library: Social Sciences Section 1 resultados 1
- Institute of Mathematics 1 resultados 1
- Lahug Library 1 resultados 1
- UP Tacloban Library 1 resultados 1
- UPV Iloilo High School Library - Iloilo City 1 resultados 1
- Ver todos…
- Logic programming 43 resultados 43
- Electronic books 23 resultados 23
- Artificial intelligence 5 resultados 5
- Logic design 5 resultados 5
- Logic, Symbolic and mathematical 4 resultados 4
- Computer science 3 resultados 3
- Mathematics 3 resultados 3
- Programming languages (Electronic computers) 3 resultados 3
- Computable functions 2 resultados 2
- Congresses 2 resultados 2
- Data structures (Computer science) 2 resultados 2
- Nonmonotonic reasoning 2 resultados 2
- Computer programming 1 resultados 1
- Computer programs 1 resultados 1
- Constraint programming (Computer science) 1 resultados 1
- Database management 1 resultados 1
- Fuzzy systems 1 resultados 1
- Gelfond, Michael 1 resultados 1
- Inconsistency (Logic) 1 resultados 1
- Induction (Logic) 1 resultados 1
- Java (Computer program language) 1 resultados 1
- Knowledge representation (Information theory) 1 resultados 1
- Logic 1 resultados 1
- Logic Design 1 resultados 1
- Logic programing 1 resultados 1
- Logic programming languages 1 resultados 1
- Multiprocessors 1 resultados 1
- Neural networks (Computer science) 1 resultados 1
- Object-oriented programming (Computer science) 1 resultados 1
- Programming (electronic computers) 1 resultados 1
- Ver todos…
- SpringerLink (Online service) 9 resultados 9
- Farrell, Joyce 4 resultados 4
- Abe, Jair Minoro 2 resultados 2
- Hein, James L. 2 resultados 2
- Hermenegildo, Manuel 2 resultados 2
- Lisi, Francesca A. 2 resultados 2
- Akama, Seiki 1 resultados 1
- Alpuente, Maria 1 resultados 1
- Apt, Krzysztof R. 1949- 1 resultados 1
- Association for Logic Programming 1 resultados 1
- Bakker, J. W. de (Jacobus Willem) 1939- 1 resultados 1
- Balduccini, Marcello 1 resultados 1
- Baldwin, J. F. (James Frederick) 1938- 1 resultados 1
- Benkrid, K. 1 resultados 1
- Bergadano, Francesco 1963- 1 resultados 1
- Bittinger, Marvin L. 1 resultados 1
- Blockeel, Hendrik 1 resultados 1
- Bruynooghe, M. (Maurice) 1 resultados 1
- Catlin, Ann C. 1 resultados 1
- Dahl, Veronica 1 resultados 1
- De La Rosa, Jerald Herrera 1 resultados 1
- De La Rosa, Juvy B. 1 resultados 1
- De Schreye, Danny 1 resultados 1
- Delgrande, James P. 1 resultados 1
- Deransart, Pierre 1 resultados 1
- Dix, J. 1961- (Jurgen) 1 resultados 1
- Doets, Kees 1 resultados 1
- Dyckhoff, Roy 1948- 1 resultados 1
- ELP '93 University of St. Andrews, Scotland 1 resultados 1
- Faber, Wolfgang 1 resultados 1
- Ver todos…