Search Results for Logic.

48 Results Found

1 2 3 4

000000000000DEFAULT

25.

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Author

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-79108-1

Format:

Availability

Online Library~1

Available:
Copies:

26.

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

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:

27.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Author

Majkić, Zoran. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-04156-8

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Author

Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09761-9

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Author

Fermé, Eduardo. editor. Leite, Joao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11558-0

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Author

Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10587-1

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings

Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings

Author

Przepiórkowski, Adam. editor. Ogrodniczuk, Maciej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10888-9

Format:

Availability

Online Library~1

Available:
Copies:

32.

Verification of Business Rules Programs

Author

Berstel-Da Silva, Bruno. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-40038-4

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Cover image for Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

Author

Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334848.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

Author

Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.

Preferred Shelf Number

ONLINE(335138.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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:

1 2 3 4

	{displayName}	{count}
{error}