Srivastava, Shashi Mohan.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
A course on basic model theory
by:
Sarbadhikari, Haimanti.; Srivastava, Shashi Mohan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
A course on mathematical logic
by:
SpringerLink (Online service); Srivastava, Shashi Mohan.
(書目-語言資料,印刷品)
Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
by:
Srivastava, Shashi Mohan.; SpringerLink (Online service); Aiswarya, C.; Sen, Prabal Kumar.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer System Implementation.
Formal Languages and Automata Theory.
Model theory.
Logic in AI.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Number Theory.
Computer and Information Systems Applications.
Computer logic
Mathematics.
Logic, Symbolic and mathematical.
Algebraic Geometry.
Logic
Algebra.
Language and logic