Search Results for Calculus.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

25 Results Found

1 2 3

000000000000DEFAULT

13.

Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?

Author

Hausser, Roland. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520261.1)

Electronic Access

https://doi.org/10.1007/978-3-031-22739-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

https://doi.org/10.1007/978-3-658-40423-9

Format:

Availability

Online Library~1

Available:
Copies:

15.

Neuro Symbolic Reasoning and Learning

Author

Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.

Preferred Shelf Number

XX(520609.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Author

Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520880.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39784-4

Format:

Availability

Online Library~1

Available:
Copies:

17.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Author

Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II

Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)

Preferred Shelf Number

XX(520982.1)

Electronic Access

https://doi.org/10.1007/978-981-99-5837-5

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Author

Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521139.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Author

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521275.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47115-5

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings

Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings

Author

Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521322.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47994-6

Format:

Availability

Online Library~1

Available:
Copies:

22.

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Author

Hur, Chung-Kil. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521341.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8311-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

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

XX(520842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

Author

Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521090.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

	{displayName}	{count}
{error}