Search Results for Logic design.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Library: Online Library

+

Publication Date: 2012

+

Subject: Artificial intelligence.

+

Subject: Computer science.

+

Subject: Logic design.

Author

SpringerLink (Online service)

(41)

Margaria, Tiziana. editor.

(2)

Miller, Dale. editor.

(2)

Steffen, Bernhard. editor.

(2)

Andres, Frederic. editor.

(1)

Artikis, Alexander. editor.

(1)

Beringer, Lennart. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Birkedal, Lars. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Broersen, Jan. editor.

(1)

Bshouty, Nader H. editor.

(1)

Béchet, Denis. editor.

(1)

Campbell, John A. editor.

(1)

Carette, Jacques. editor.

(1)

Caro, Jaime. editor.

(1)

Cerro, Luis Fariñas. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Corby, Olivier. editor.

(1)

Craven, Robert. editor.

(1)

Croitoru, Madalina. editor.

(1)

Daniel, Peter. editor.

(1)

Dastani, Mehdi. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dikovsky, Alexander. editor.

(1)

Durand-Lose, Jérôme. editor.

(1)

Düsterhöft, Antje. editor.

(1)

Eder, Kerstin. editor.

(1)

Eleftherakis, George. editor.

(1)

Elgesem, Dag. editor.

(1)

Erdem, Esra. editor.

(1)

Felty, Amy. editor.

(1)

Fisher, Michael. editor.

(1)

Flanagan, Cormac. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Goranko, Valentin. editor.

(1)

Governatori, Guido. editor.

(1)

Gramlich, Bernhard. editor.

(1)

Griffin, Timothy G. editor.

(1)

Hawblitzel, Chris. editor.

(1)

Herzig, Andreas. editor.

(1)

Hinchey, Mike. editor.

(1)

Holcombe, Mike. editor.

(1)

Howse, John. editor.

(1)

Jeuring, Johan. editor.

(1)

Jonoska, Nataša. editor.

(1)

Joshi, Rajeev. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kannan, Rajkumar. editor.

(1)

Kesim Çiçekli, Nihan. editor.

(1)

Kim, Haeng-kon. editor.

(1)

Kim, Tai-hoon. editor.

(1)

Kiumi, Akingbehin. editor.

(1)

Klettke, Meike. editor.

(1)

König, Barbara. editor.

(1)

Lee, Joohyung. editor.

(1)

Lierler, Yuliya. editor.

(1)

Lisi, Francesca A. editor.

(1)

Lourenço, João. editor.

(1)

Lukasiewicz, Thomas. editor.

(1)

Madhusudan, P. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mengin, Jérôme. editor.

(1)

Mohammed, Sabah. editor.

(1)

Moot, Richard. author.

(1)

Muggleton, Stephen H. editor.

(1)

Müller, Peter. editor.

(1)

Nishizaki, Shin-ya. editor.

(1)

Numao, Masayuki. editor.

(1)

Ortmeier, Frank. editor.

(1)

Pearce, David. editor.

(1)

Phan, Cong-Vinh. editor.

(1)

Podelski, Andreas. editor.

(1)

Ramos, Carlos. editor.

(1)

Reis, Gabriel. editor.

(1)

Retoré, Christian. author.

(1)

Rudolph, Sebastian. editor.

(1)

Russo, Claudio. editor.

(1)

Sadighi, Babak. editor.

(1)

Sakama, Chiaki. editor.

(1)

Sali, Attila. editor.

(1)

Sardina, Sebastian. editor.

(1)

Sattler, Uli. editor.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schrijvers, Tom. editor.

(1)

Sebastiani, Roberto. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Shehory, Onn. editor.

(1)

Sojka, Petr. editor.

(1)

Sorge, Volker. editor.

(1)

Stathis, Kostas. editor.

(1)

Steels, Luc. editor.

(1)

Stoltz, Gilles. editor.

(1)

Suarez, Merlin Teodosia. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Tan, C. J. Kenneth. editor.

(1)

Thiemann, Peter. editor.

(1)

Torre, Leon. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Vayatis, Nicolas. editor.

(1)

Vidal, Germán. editor.

(1)

Voronkov, Andrei. editor.

(1)

Wenzel, Makarius. editor.

(1)

Wilson, Nic. editor.

(1)

Winikoff, Michael. editor.

(1)

Zeugmann, Thomas. editor.

(1)

Zhou, Jianyang. author.

(1)

Zhou, Neng-Fa. editor.

(1)

Ågotnes, Thomas. editor.

(1)

Ślęzak, Dominik. editor.

(1)

Language

(41)

Subject

Software engineering.

(25)

Computer software.

(9)

Computer Communication Networks.

(8)

Computational complexity.

(5)

Algebra -- Data processing.

(3)

Bioinformatics.

(2)

Computer vision.

(2)

Data protection.

(2)

Information storage and retrieval systems.

(2)

Logic, Symbolic and mathematical.

(2)

Operating systems (Computers).

(2)

Optical pattern recognition.

(2)

Translators (Computer programs).

(2)

Computational linguistics.

(1)

Computer hardware.

(1)

(1)

Electronic data processing.

(1)

Engineering mathematics.

(1)

Information systems.

(1)

Information theory.

(1)

(1)

Operations research.

(1)

Social sciences -- Data processing.

(1)

Material Type

Shelf Location

Electronic Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

41 Results Found

Subscribe to search results

1 2 3 4

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 Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Author

Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Author

Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Author

Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Author

Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Birkedal, Lars. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Author

Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Author

Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

Author

Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Author

Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11