Results
|
|
|
|
|
|
|
Logic, language, information, and computation : 22nd international workshop, WoLLIC, proceedings, Bloomington, IN, USA, July 20-23, 2015 (e-book) by Paiva, Valeria de ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9160 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .
|
|
|
|
On decidable extensions of metric temporal logic (R) by Madnani, Khushraj Nanik [Author] | Krishna, Shankara Narayanan [Supervisor] | Pandya, Paritosh K [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type:  Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 681.3.06 Mad.
|
|
|
|
Logic, language, information, and computation : 23rd international workshop, WoLLIC, proceedings, Puebla, Mexico, Aug. 16-19th, 2016 (e-book) by Vaananen, Jouko [Editor] | Hirvonen, Asa [Editor] | Queiroz, Ruy de [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9803 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
|
|
|
|
|
|
|
|
|
|
|
Intelligent computer mathematics : 10th international conference, AISC, 17th symposium, Calculemus, and 9th international conference : proceedings, MKM, Paris, France, July 5-10, 2010 (e-book) by Autexier, Serge ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6167 | LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
