Loading...
Error: Cannot Load Popup Box
Language:
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
中文(简体)
中文(繁體)
Thai
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Search For:
in:
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Advanced
Retain my current filters
Home
>
Search:
Suggested Topics
... within your search.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
(13)
Computer Science
(13)
Computer science
(13)
Congresses
Electronic books
(13)
more ...
Additional Suggested Topics
... within your search.
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Logic design
(12)
Logics and Meanings of Programs
(12)
Software Engineering
(11)
Software engineering
(11)
Programming Techniques
(5)
Computer Communication Networks
(2)
Algebra
(1)
Algorithm Analysis and Problem Complexity
(1)
Computation by Abstract Devices
(1)
Computer Science, general
(1)
Computer software
(1)
Data processing
(1)
Logic, Symbolic and mathematical
(1)
Mathematical Logic and Foundations
(1)
Models and Principles
(1)
Symbolic and Algebraic Manipulation
(1)
less ...
Showing
1
-
13
of
13
for search:
''
, query time: 0.03s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics /
by
Moot, Richard
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
Published 2012
Call Number:
Loading
Located:
Loading
Full Text
Add to Favorites
Search Tools:
Get RSS Feed
Email this Search
Save Search
Narrow Search
Remove Filters
Suggested Topics: Congresses
Suggested Topics: Mathematical Logic and Formal Languages
Suggested Topics: Artificial Intelligence (incl. Robotics)
Suggested Topics: Programming Languages, Compilers, Interpreters
Institution
KMUTT
(13)
Call Number
Q - Science
(13)
Author
Moot, Richard
(1)
Language
English
(13)
Year of Publication
From:
To:
Search Options
Search History
Advanced Search
Find More
Browse the Catalog
Browse Alphabetically
Course Reserves
New Items
Need Help?
Search Tips
Ask a Librarian
FAQs
KMUTT-LM Website