Search Result
Save to File
Your search for
36713
returns
222
document(s)
Hylores 1.0: direct resolution fo hybrid logics, Hal. 156-160
Author: Carlos Arecess and Juan Hegulabehere; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Logics of programs : proceedings 1981
Call Number: 004 Log | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logics for Artificial Intelligence
Author: Turner, Raymond; | Call Number: 006.3 Tur 1 | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logics of time and computation
Author: Goldblatt, Robert; | Call Number: 160 Gol l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Embedded programming logics in HOL theorem prover, hal 18-24
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JIKT-2-1-Mei2002-18 | Type: UI-ana Indek Artikel
Find Similar
|
Add To Favorites
|
Detail in New Window
Reasoning with expressive discription logics: theory and practice, Hal. 1-15
Author: Ian Harrocks; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Local networks fo rcomputer communications
Call Number: 004.6 Loc | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Design and Siulation Neural Network-Based Control Type Regulator fot Antilock Braking System (156-160)
Author: Hendra Cordova Agung Mulyo Widodo Totok Ruki Biyanti; | Call Number: SEM-247 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
The quest fo efficient boolean satisfiability solvers, Hal. 295-313
Author: Lintao Zhang; Sharad Malik; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Cluster analysis fo hypertext systems, Hal. 116-124
Author: Rodridgo A. Botafogo; | Call Number: SEM-255 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev 1
2
3
4
5
6
7
8
9
10
Next
Search Result