Erakusten
1 - 3
emaitzak --
3
bilaketa honetara '
'
Joan edukira
UPFind
0
itemes
(Completo)
Hizkuntza
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Eremu guztiak
Izenburua
Egilea
Gaia
Sailkapena
ISBN/ISSN
Bilatu
Aurreratua
SUBJECT:
Artificial intelligence
ETA
Software engineering
ETA
Data processing
Show filters (3)
SUBJECT:
Artificial intelligence
ETA
Software engineering
ETA
Data processing
Bilaketaren emaitzak
Erakusten
1 - 3
emaitzak --
3
bilaketa honetara '
'
, Bilaketaren denbora: 0,01s
Findu emaitzak
Antolatu
Garrantzia
Newest to Oldest
Oldest to Newest
Egilea
Izenburua
Orrialdea aukeratu | Con selección:
Posta elektronikoa
Esportatu
Imprimir
Gehitu Liburu Saskira
Aukera ezazu emaitza-zenbakia1
1
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Argitaratua izan da
Springer eBook.
(2011)
Sailkapena:
Lanean...
Kokapena:
Lanean...
Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource
Gehitu Liburu Saskira
Eliminar de la Mochila
Aukera ezazu emaitza-zenbakia2
2
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Argitaratua izan da
Springer eBooks.
(2011)
Sailkapena:
Lanean...
Kokapena:
Lanean...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Gehitu Liburu Saskira
Eliminar de la Mochila
Aukera ezazu emaitza-zenbakia3
3
Readings in artificial intelligence and software engineering
Argitaratua 1986
Sailkapena:
Lanean...
Kokapena:
Lanean...
Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy
Electronic Resource
Gehitu Liburu Saskira
Eliminar de la Mochila
Orrialdea aukeratu | Con selección:
Posta elektronikoa
Esportatu
Imprimir
Gehitu Liburu Saskira
Bilaketa egiteko lanabesak:
RSS
—
Emaitzak posta elektronikoz bidali
Atzera
Emaitzak murriztu
CAMPUS
Diliman
3
DATABASE
Union Catalog (Buklod)
3
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
2
College of Engineering Library II
1
YEAR OF PUBLICATION
De:
a:
SUBJECT
Artificial intelligence
Data processing
Electronic books
3
Software engineering
Algebra
2
Computer science
2
Automatic theorem proving -- Congresses
1
Computational complexity
1
Computer science -- Mathematics -- Congresses
1
Geometry -- Data processing -- Congresses
1
Logic design
1
Guztiak ikusi ...
AUTHOR
Jouannaud, Jean-Pierre
1
Narboux, Julien
1
Rich, Charles 1951-
1
Richter-Gebert, Jürgen
1
Schreck, Pascal
1
Shao, Zhong
1
SpringerLink (Online service
1
SpringerLink (Online service)
1
Waters, Richard C.
1
Guztiak ikusi ...
RESOURCE TYPE
Electronic Resource
3
LANGUAGE
English
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Lanean...