Search Results for Language and logic.

24 Results Found

1 2

000000000000DEFAULT

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

Author

Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-23264-5

Format:

Availability

Online Library~1

Available:
Copies:

Towards the Future of Fuzzy Logic

Author

Seising, Rudolf. editor. Trillas, Enric. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Fifty Years of Fuzzy Logic and its Applications

Author

Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

ARM Assembly Language with Hardware Experiments

Author

Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Author

Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-20860-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Author

Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-19282-6

Format:

Availability

Online Library~1

Available:
Copies:

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings

Author

Chau, Michael. editor. Wang, G. Alan. editor. Chen, Hsinchun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-18455-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland

Author

Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

Author

Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-19237-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

LogiQL : a query language for smart databases

Author

Halpin, T. A., author. Rugaber, Spencer, author.

Preferred Shelf Number

QA76.73 .L62 H35 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

12.

Logical investigative methods : critical thinking and reasoning for successful investigations

Author

Girod, Robert J., author.

Preferred Shelf Number

HV8073 .G566 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}