期刊书目 › BOOKS with Alphabet C (Ca, Cb,Cc, Cd, Ce…... ) › Titlebook: Concrete Semantics; With Isabelle/HOL Tobias Nipkow,Gerwin Klein Textbook 2014 Springer International Publishing Switzerland 2014 Abstract

Common-Migraine 发表于 2025-3-30 10:19:16

http://reply.papertrans.cn/24/2352/235132/235132_51.png

aggressor 发表于 2025-3-30 15:21:05

http://reply.papertrans.cn/24/2352/235132/235132_52.png

delta-waves 发表于 2025-3-30 18:20:13

https://doi.org/10.1007/978-3-322-94354-5Beziehung; Demokratie; Gewerkschaft; Identität; Intellektuelle; Jugend; Krieg; Migranten; Nation; Politik; Soz

查看完整版本: Titlebook: Concrete Semantics; With Isabelle/HOL Tobias Nipkow,Gerwin Klein Textbook 2014 Springer International Publishing Switzerland 2014 Abstract