01180nam0 2200289 i 450 SUN005541020160331102532.92205-216-5602-80.0020061107d2000 |0engc50 baengGB|||| |||||*Logic in computer sciencemodelling and reasoning about systemsMichael Huth, Mark RyanCambridgeCambridge University2000XVIII, 387 p.26 cm.68-XXComputer science [MSC 2020]MFSUNC01967003-XXMathematical logic and foundations [MSC 2020]MFSUNC019750CambridgeSUNL000024Huth, MichaelSUNV043912725924Ryan, MarkSUNV043913Cambridge universitySUNV000097650ITSOL20200720RICAhttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=itSUN0055410UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2003 08 6569 I 20061107 Logic in computer science1424854UNICAMPANIA01782nam 2200385 450 991038954660332120230422073556.01-5386-9468-9(CKB)4920000000250414(NjHacI)994920000000250414(EXLCZ)99492000000025041420230422h20182019 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2018 International Conference on Applied Mathematics & Computational Science ICAMCS.NET 2018 : Budapest, Hungary, 6-8 October 2018 : proceedings /Institute of Electrical and Electronics EngineersLos Alamitos, California :IEEE,2018.©20191 online resource (191 pages) illustrationsIncludes index.1-5386-9469-7 Theoretical and Applied Mechanics, Dynamical Systems and Mechanical Engineering -- Energy, Environment and Material Science -- Computer Sciences, Systems and Communication -- Education, Educational and Management Systems -- Circuits, Systems and Signal Processing -- Control, Electronics, Fuzzy Systems and Neural Networks -- Mathematical Models and Applied Mathematics -- Author Index.2018 International Conference on Applied Mathematics & Computational Science Computer scienceMathematicsCongressesComputer scienceMathematics004.0151Institute of Electrical and Electronics Engineers1350624NjHacINjHaclPROCEEDING99103895466033212018 International Conference on Applied Mathematics & Computational Science3089228UNINA