Search Results - "Computer Science Logic and Foundations of Programming"

Automated Deduction – CADE 28

Contributors: Platzer, André Sutcliffe, Geoff

Subject Terms: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, automata theory, boolean functions, computer programming, first order logic, formal languages, formal logic, logic programming, model checking, program verification, semantics, software architecture, software design, software quality, software verification, theorem provers, theorem proving, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Artificial intelligence

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

Access URL: https://library.oapen.org/handle/20.500.12657/50048

Programming Languages and Systems

Contributors: Yoshida, Nobuko

Subject Terms: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Software Engineering, Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer Engineering and Networks, computer programming, concurrency theory, distributed computer systems, formal logic, lamdba calculi, linguistics, logic, object-oriented programming, parallel processing systems, probabilistic programming, process calculi, program compilers, semantics, software design, software quality, theory, types, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Natural language & machine translation, Computer programming / software engineering, Computer architecture & logic design, Computer networking & communications, Programming and scripting languages: general, Artificial intelligence, Computer networking and communications

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://library.oapen.org/handle/20.500.12657/48221