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