語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

語系

英文 (2)

跳至 : 概要 | 書目資訊 | 主題

Srivastava, Shashi Mohan.

概要

作品:	0 作品在 2 項出版品 1 種語言

書目資訊

Logic and its applications11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings / by: (1998 :); Aiswarya, C.; Sen, Prabal Kumar.; SpringerLink (Online service); Srivastava, Shashi Mohan. (書目-電子資源)

A course on basic model theory by: Sarbadhikari, Haimanti.; SpringerLink (Online service); Srivastava, Shashi Mohan. (書目-電子資源)

主題

Mathematical Logic and Foundations. Software Engineering. Logic in AI. Computer and Information Systems Applications. Algebraic Geometry. Logic Mathematics. Number Theory. Computer logic Language and logic Model theory. Formal Languages and Automata Theory. Computer System Implementation.

變更密碼

登入