検索結果
1 - 6
結果 /
6
検索語 '
'
コンテンツを見る
UPFind
0
件
(満杯)
言語
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
हिंदी
全フィールド
タイトル
著者
主題
請求記号
ISBN/ISSN
検索
詳細検索
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
AND
Logic design
LANGUAGE:
English
AUTHOR:
SpringerLink (Online service)
フィルター表示 (5)
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
AND
Logic design
LANGUAGE:
English
AUTHOR:
SpringerLink (Online service)
検索結果
検索結果
1 - 6
結果 /
6
検索語 '
'
, 処理時間: 0.02秒
結果の絞り込み
ソート
適合順
Newest to Oldest
Oldest to Newest
著者順
タイトル順
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
結果番号: 1を選択
1
Quantum-dot cellular automata based digital logic circuits a design perspective
著者:
Sasamal, Trailokya Nath
,
Singh, Ashutosh Kumar
,
Mohan, Anand
出版事項 2020
請求記号:
ロード中...
配架場所:
ロード中...
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
図書バッグに追加
図書バッグから削除
結果番号: 2を選択
2
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
出版年
Springer eBooks.
(2011)
請求記号:
ロード中...
配架場所:
ロード中...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
図書バッグに追加
図書バッグから削除
結果番号: 3を選択
3
Emotional Cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
著者:
Perlovsky, Leonid
,
Deming, Ross
,
Ilin, Roman
出版事項 2011
請求記号:
ロード中...
配架場所:
ロード中...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
図書バッグに追加
図書バッグから削除
結果番号: 4を選択
4
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
出版年
Springer eBooks.
(2011)
請求記号:
ロード中...
配架場所:
ロード中...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
図書バッグに追加
図書バッグから削除
結果番号: 5を選択
5
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
出版年
Springer eBooks.
(2011)
請求記号:
ロード中...
配架場所:
ロード中...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
図書バッグに追加
図書バッグから削除
結果番号: 6を選択
6
Theory and applications of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
出版事項 2011
請求記号:
ロード中...
配架場所:
ロード中...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
図書バッグに追加
図書バッグから削除
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
検索ツール:
RSSフィード
—
検索結果をメール
戻る
絞込み検索
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
From:
To:
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
すべて見る ...
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
すべて見る ...
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
ロード中...