Search Results for Language and logic.

145 Results Found

1 .. 3 4 5 6 7 .. 13

000000000000DEFAULT

49.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33170-1

Format:

Availability

Online Library~1

Available:
Copies:

50.

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

Author

Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-45072-3

Format:

Availability

Online Library~1

Available:
Copies:

51.

Speaking of Forms of Life The Language of Conservation

Author

Campagna, Claudio. author. Guevara, Daniel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34534-0

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

Author

Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-36833-2

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Author

Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-38296-3

Format:

Availability

Online Library~1

Available:
Copies:

54.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26212-8

Format:

Availability

Online Library~1

Available:
Copies:

55.

Programming Languages: Principles and Paradigms

Author

Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34144-1

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Author

Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21203-1

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-24841-2

Format:

Availability

Online Library~1

Available:
Copies:

58.

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

Author

Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-19907-3

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Author

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30047-9

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30829-1

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 13

	{displayName}	{count}
{error}