Lignans 发表于 2025-3-30 08:41:47

http://reply.papertrans.cn/83/8248/824729/824729_51.png

玉米棒子 发表于 2025-3-30 13:36:45

Synthese Libraryhttp://image.papertrans.cn/r/image/824729.jpg

云状 发表于 2025-3-30 19:27:20

http://reply.papertrans.cn/83/8248/824729/824729_53.png

铺子 发表于 2025-3-30 21:57:16

http://reply.papertrans.cn/83/8248/824729/824729_54.png

INCUR 发表于 2025-3-31 03:00:11

Claudio Ternulloser’s feature selection. The book consists of three parts. Part I provides a general introduction to feature-oriented software product lines, describing the product-line approach and introducing the product-lin978-3-662-51300-2978-3-642-37521-7

Nebulizer 发表于 2025-3-31 06:22:00

0166-6991 ntribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories..This book shares the work of some of the most import978-3-030-15657-2978-3-030-15655-8Series ISSN 0166-6991 Series E-ISSN 2542-8292

DEI 发表于 2025-3-31 11:53:39

http://reply.papertrans.cn/83/8248/824729/824729_57.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Reflections on the Foundations of Mathematics; Univalent Foundation Stefania Centrone,Deborah Kant,Deniz Sarikaya Book 2019 Springer Nature