Search Results for Knowledge

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Logic design.

Author

SpringerLink (Online service)

(12)

Hameurlain, Abdelkader. editor.

(2)

Wagner, Roland. editor.

(2)

Abreu, Salvador. editor. (orcid)0000-0002-1613-4631

(1)

Amgoud, Leila. author.

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Caro, Jaime. editor.

(1)

Corby, Olivier. editor.

(1)

Croitoru, Madalina. editor.

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Dix, Jürgen. editor.

(1)

Faber, Wolfgang. editor.

(1)

Grosky, William I. editor.

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

Hartmann, Sven. editor.

(1)

Hegner, Stephen J. editor.

(1)

Howse, John. editor.

(1)

Kern-Isberner, Gabriele. editor.

(1)

Lembo, Domenico. editor.

(1)

Link, Sebastian. editor.

(1)

Lukasiewicz, Thomas. editor.

(1)

Martinez, Maria Vanina. author.

(1)

Molinaro, Cristian. author.

(1)

Ng, Wilfred. editor.

(1)

Nishizaki, Shin-ya. editor.

(1)

Numao, Masayuki. editor.

(1)

Prade, Henri. editor.

(1)

Rudolph, Sebastian. editor.

(1)

Russell, Gordon, ed.

(1)

Sali, Attila. editor.

(1)

Seipel, Dietmar. editor.

(1)

Storey, Veda C. editor.

(1)

Suarez, Merlin Teodosia. editor.

(1)

Subrahmanian, V.S. author.

(1)

Taylor, Gaynor, ed.

(1)

Trujillo, Juan C. editor.

(1)

Wilson, Nic. editor.

(1)

Language

(13)

Publication Date

-

(4)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(11)

Artificial intelligence.

(8)

(6)

Database management.

(5)

Computational complexity.

(4)

Data Mining and Knowledge Discovery.

(4)

Information storage and retrieval systems.

(4)

Logics and Meanings of Programs.

(4)

Computer software.

(3)

Software engineering.

(3)

Artificial Intelligence (incl. Robotics).

(2)

Information Storage and Retrieval.

(2)

Application-specific integrated circuits.

(1)

Bioinformatics.

(1)

Computational Biology/Bioinformatics.

(1)

Computer communication systems.

(1)

Computer security.

(1)

Computer simulation.

(1)

Computer system failures.

(1)

(1)

(1)

Digital integrated circuits.

(1)

Discrete cosine transforms.

(1)

Electronic circuits--Testing.

(1)

Electronic data processing.

(1)

Expert systems (Computer science).

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems and Communication Service.

(1)

Information systems.

(1)

Information theory.

(1)

Integrated circuits--Design and construction.

(1)

Integrated circuits--Testing.

(1)

Integrated circuits--Very large scale integration.

(1)

Linear integrated circuits.

(1)

Logic circuits--Computer-aided design.

(1)

Mathematical Logic and Formal Languages.

(1)

Operating systems (Computers).

(1)

Simulated annealing (Mathematics).

(1)

Simulation and Modeling.

(1)

Theory of Computation.

(1)

User Interfaces and Human Computer Interaction.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

13 Results Found

Subscribe to search results

1 2

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Algorithmic and Knowledge-based CAD for VLSI

Algorithmic and Knowledge-based CAD for VLSI

Algorithmic and Knowledge-based CAD for VLSI

Author

Taylor, Gaynor, ed. Russell, Gordon, ed.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBCS004E

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60531-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58415-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Author

Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00801-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Author

Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28472-4

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Author

Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29449-5

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

Author

Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11829-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Author

Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77684-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

Author

Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11663881

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for A General Framework for Reasoning On Inconsistency

A General Framework for Reasoning On Inconsistency

A General Framework for Reasoning On Inconsistency

Author

Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332107.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6750-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Author

Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334832.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39666-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Author

Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335150.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41924-9

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11