| Your search for 3393 returns 2922 document(s) |
| 18th international conference on automated deduction copenhagen,denmark,july 27-30,2002 proceedings |
|
Call Number: SEM-281 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated deduction - Code 18 18th international conference on automated deduction Copenhagen, Denmark, July 2002 Proceedings |
|
Author: Voronkv, Andri; | Call Number: 025.04 Vor a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| International cooperative information systems: proceedings of a siminar held in Vienna, Austria, 9-13 July 1979/ Organized by the International development Research Centre with the cooperation of the Int. atomic Energy Agency and the Secretariat for the United Nations conference on Science and Tehcnology for Development/ |
|
Call Number: 025.52 Int | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the international conference on advanced computer science and information systems (ICACSIS 2009) Universitas Indonesia December 7th-8th, 2009 |
|
Call Number: SEM-294 B | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the 18th annual international ACM SIGIR conference om research and development in information retrieval |
|
Call Number: SEM-257 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SNSI 2006: Seminar Nasional Sistem & Informatika: proceedings seminar nasional sistem & informatika 2006, Inna Kuta Beach Hotel, 17 November 2006 |
|
Call Number: SEM-285 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Conference proceedings information networks and data communications/INDC |
|
Call Number: 004 Con | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan Dashboard Automated Test Error PT. Global Digital Niaga (BLIBLI) |
|
Author: Muhammad Daril N.B.; Nur Fauziah Hasanah; | Call Number: SK-2025 (Softcopy SK-1507) | Edition: Denny | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoing: 33 basic research problems |
|
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result