Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Srivastava, Shashi Mohan.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

A course on basic model theory by: Sarbadhikari, Haimanti.; Srivastava, Shashi Mohan.; SpringerLink (Online service) (Electronic resources)

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) (Electronic resources)

Subjects

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.

Change password

Login