語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (2)

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

Srivastava, Shashi Mohan.

概要

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

書目資訊

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

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

主題

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.

變更密碼

登入