Résultat(s)
1 - 6
résultats de
6
pour la requête '
'
Aller au contenu
UPFind
0
notices
(Plein)
Langue
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
हिंदी
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Rechercher
Recherche avancée
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
ET
Logic design
LANGUAGE:
English
AUTHOR:
SpringerLink (Online service)
Montrer les filtres (5)
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
ET
Logic design
LANGUAGE:
English
AUTHOR:
SpringerLink (Online service)
Résultats de la recherche
Résultat(s)
1 - 6
résultats de
6
pour la requête '
'
, Temps de recherche: 0,02s
Affiner les résultats
Trier
Pertinence
Newest to Oldest
Oldest to Newest
Auteur
Titre
Choisir une page | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Quantum-dot cellular automata based digital logic circuits a design perspective
par
Sasamal, Trailokya Nath
,
Singh, Ashutosh Kumar
,
Mohan, Anand
Publié 2020
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 2
2
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Publié dans
Springer eBooks.
(2011)
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 3
3
Emotional Cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
par
Perlovsky, Leonid
,
Deming, Ross
,
Ilin, Roman
Publié 2011
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 4
4
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Publié dans
Springer eBooks.
(2011)
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 5
5
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Publié dans
Springer eBooks.
(2011)
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Ajouter au panier
Retirer du panier
Merci de choisir la recherche numéro 6
6
Theory and applications of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
Publié 2011
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Ajouter au panier
Retirer du panier
Choisir une page | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter au panier
Outils de recherche:
S'abonner aux flux RSS
—
Envoyer cette recherche par courriel
Retour
Restreindre la recherche
CAMPUS
Diliman
6
DATABASE
Union Catalog (Buklod)
6
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
5
College of Engineering Library II
1
YEAR OF PUBLICATION
De:
À:
SUBJECT
Artificial intelligence
Electronic books
6
Logic design
Computer science
4
Software engineering
2
Algebra
1
Artificial Intelligence (incl. Robotics)
1
Automatic theorem proving -- Congresses
1
Complexity
1
Computational Intelligence
1
Computational complexity
1
Computer Communication Networks
1
Computer graphics
1
Computer logic
1
Computer science -- Mathematics -- Congresses
1
Computer software
1
Data processing
1
Discrete groups
1
Enineering
1
Geometry -- Data processing -- Congresses
1
Logic Design
1
Logic in AI
1
Logics and Meanings of Programs
1
Nanotechnology
1
Nanotechnology and Microengineering
1
Physics
1
Statistical Physics, Dynamical Systems and Complexity
1
voir tous les ...
AUTHOR
SpringerLink (Online service)
Deming, Ross
1
Gleizes, Marie-Pierre
1
Gomez-Sanz, Jorge J.
1
Ilin, Roman
1
Jouannaud, Jean-Pierre
1
Mohan, Anand
1
Perlovsky, Leonid
1
Sakallah, Karem A.
1
Sasamal, Trailokya Nath
1
Shao, Zhong
1
Simon, Laurent
1
Singh, Ashutosh Kumar
1
Sturm, Thomas
1
Zengler, Christoph
1
voir tous les ...
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Chargement en cours...