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.
Language and logic- Congresses.
Logic in AI.
Computer and Information Systems Applications.
Algebraic Geometry.
Logic
Mathematics.
Number Theory.
Computer logic- Congresses.
Model theory.
Formal Languages and Automata Theory.
Computer System Implementation.