The structure of scientific revolutions / Thomas Kuhn

• Record Nr.: UNINA990000526190403321
• Autore: Kuhn, Thomas S. <Samuel ; <1922-1996
• Pubbl/distr/stampa: Chicago, IL : The University of Chicago Press, 1996
• ISBN: 0-226-45808-3
• Edizione: [3rd ed.]
• Descrizione fisica: XIV,212 p. : ill. ; 22 cm
• Disciplina: 501
• Locazione: DINEL
• Collocazione: 10 A I 261
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

18th Annual IEEE Symposium on Logic in Computer Science

• Record Nr.: UNISA996198557603316
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE Computer Society Press, 2003
• Descrizione fisica: 1 online resource (xiv, 393 pages)
• Disciplina: 004.0151
• Soggetti: Computer science - Mathematics; Logic, Symbolic and mathematical
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Sommario/riassunto: Annotation The LICS proceedings covers topics that include automata ; theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, and logic programming.