Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
By: Material type:
TextLanguage: English Publication details: World Scientific; WSPC; 2023ISBN: - 9789811268540
eBooks
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1868048 |
There are no comments on this title.
Log in to your account to post a comment.
-
6401
Medea and other plays
by Euripides -
6402
Arthur conan doyle his last bow
by Edwards Owen Dudley Ed. -
6403
Karachi
by Hamida Khuhrd ed -
6404
Emily Bronte
by Gerin Winifred -
6405
Journeys
by Dalmia Yashodhara -
6406
Shakespeare
by Wells Stanley -
6407
Origins of empire
-
6408
Ibsen : Plays tr by James Walter McFarlane
by Ibsen H -
6409
Rape of the lock and its illustrations 1714-1896
by Halsband Robert -
6410
Peace of the Augustans : a survey of eighteenth century literature as a place of rest and refreshments
by Saintsbury George -
6411
Handbook of the Birds of India & Pakistan
by Ali, Salim -
6412
Handbook of the Birds of India & Pakistan
by Ali, Salim -
6413
Handbook of the Birds of India & Pakistan
by Ali, Salim -
6414
Handbook of the Birds of India & Pakistan
by Ali, Salim -
6415
Handbook of the Birds of India & Pakistan
by Ali, Salim -
6416
Tribals of India
by Janah Sunil -
6417
Monitoring the environment: the Linacre lectures 1990-91
by Cartledge Bryan Ed -
6418
Quantum theory of collective phenomena
by Sewell G L -
6419
Gel electrophoresis of nucleic acids: A practical approach
by Rickwood D Ed. -
6420
Between us and hunger
by Mayadas C -
6421
Social and biological aspects of ethnicity
by Chapman Malcolm Ed -
6422
Dictionary of genetics
by King Robert C -
6423
Guide to remote sensing: Interpreting images of the earth
by Drury Stephen A -
6424
Textbook of human genetics
by Levitan Max -
6425
Introduction to insect biology and diversity
by Daly Howell V -
6426
Triumph of sociobiology by John Alcock
by Alcock John -
6427
Methodology and fieldwork
by Srivastava Vinay Kumar -
6428
Methodology and fieldwork
by Srivastava Vinay Kumar Ed. -
6429
Methodology and fieldwork
by Srivastava Vinay Kumar Ed. -
6430
Methodology and fieldwork
by Srivastava Vinay Kumar Ed. -
6431
Methodology and fieldwork
by Srivastava Vinay Kumar Ed. -
6432
Quantum chemistry
by McQuarrie Donald A -
6433
Game theory: introduction and applications by Graham Romp
by Romp Graham -
6434
Interations in magnetically ordered solids
by Sinha K P -
6435
In search of identity: debates on religious conversion in india
by Kim Sebastian C H -
6436
Regional refelections: comparing politics across India's states
by Jenkins Rob Ed. -
6437
Evolution : an introduction
by Stearns Stephen C -
6438
Probability and random processes by Geoffrey R Grimmett and David R Stirzaker
by Grimmett Geoffrey R -
6439
Variety of life: a survey and a celebration of all the creatures that have ever lived
by Tudge Colin -
6440
Politics of cultural practice: Thinking through theatre in an age of globalizaion
by Bharucha Rustom -
6441
Thermodynamics and statistical mechanics
by Landsberg Peter T -
6442
Introduction to mesoscopic physics
by Imry Yoseph -
6443
Gene genealogies, variation and evolution: a primer in coalescent theory
by Hein Jotun -
6444
Modern digital and analog communication systems
by Lathi Bhagwandas Pannalal -
6445
Modern digital and analog communication systems
by Lathi Bhagwandas Pannalal -
6446
Geostatistical analysis of compositional data
by Pawlowsky-Glahn Vera -
6447
Food crops of the law land tropics
by Leakey C L A Ed. -
6448
Evolution of the genetic code by Syozo Osawa
by Osawa Syozo -
6449
Evolutionary genetics
by Smith John Maynard -
6450
Molecular evolution and phylogenetics
by Nei Masatoshi
Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
APA
Mainzer Klaus & Centrone Stefania, .Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. : World Scientific.
Chicago
Mainzer Klaus & Centrone Stefania, .Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. : World Scientific.
Harvard
Mainzer Klaus & Centrone Stefania, .Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. : World Scientific.
MLA
Mainzer Klaus & Centrone Stefania, .: World Scientific. .
