Search Results for Model theory.

57 Results Found

1 2 3 4 5

000000000000DEFAULT

Mathematical logic : A course with exercises

Author

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Preferred Shelf Number

QA 9 C742513 2000 PT.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

Author

Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.

Preferred Shelf Number

XX(520345.1)

Electronic Access

https://doi.org/10.1007/978-981-99-5844-3

Format:

Availability

Online Library~1

Available:
Copies:

Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers

Author

Buckley, Christopher L. editor. Cialfi, Daniela. editor. Lanillos, Pablo. editor. Ramstead, Maxwell. editor. Sajid, Noor. editor.

Preferred Shelf Number

XX(520369.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I

Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I

Author

Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520370.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings

Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings

Author

Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520374.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings

Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings

Author

Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520296.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Author

Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520836.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings

Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings

Author

Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520865.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Author

Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520868.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Author

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521140.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521168.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Metaverse - METAVERSE 2023 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings

Metaverse - METAVERSE 2023 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings

Author

He, Sheng. editor. Lai, Jiacai. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521176.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}