Search Results for Induction (Logic)

1.

Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic

Author

Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-901-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

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:

4.

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

XX(520796.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

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

Preferred Shelf Number

XX(520574.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Author

Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520889.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27481-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

Author

Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.

Preferred Shelf Number

XX(521379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Author

Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518878.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I

Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519079.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Logic demystified

Author

Boutelle, Anthony. Gibilisco, Stan.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

12.

Schaum's outline of theory and problems of logic

Author

Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

13.

Thinking about acting logical foundations for rational decision making

Author

Pollock, John L.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

14.

The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534156

Format:

Availability

Online Library~1

Available:
Copies:

15.

Aspects of inductive logic

Author

Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534088

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}