02235nam0 22004933i 450 VAN0025068420241211114251.651978-35-407-4112-120220926d2007 |0itac50 baengDE|||| |||||ˆThe ‰calculus of computationdecision procedures with applications to verificationAaron R. Bradley, Zohar MannaBerlinSpringer2007XV, 366 p.ill.25 cmVAN00250685ˆThe ‰calculus of computation298362903-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03B70Logic in computer science [MSC 2020]VANC024541MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF68-XXComputer science [MSC 2020]VANC019670MF68N30Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]VANC033421MF68Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]VANC024550MFAlgorithm AnalysisKW:KAlgorithmsKW:KArtificial IntelligenceKW:KComputerKW:KData structureKW:KFormal methodKW:KLearningKW:KLogicKW:KProblem complexityKW:KVerificationKW:KBerlinVANL000066BradleyAaron R.VANV2047531268492MannaZoharVANV20475425952Springer <editore>VANV108073650ITSOL20250606RICA/sebina/repository/catalogazione/documenti/ID 250684.pdfID 250684.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00250684BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0533 08DMF663 I 20220926 Calculus of computation2983629UNICAMPANIA