Non-standard logics for automated reasoning

Código QR

Non-standard logics for automated reasoning

Detalles Bibliográficos
Otros Autores:	Smets, Philippe (ede)
Formato:	Libro
Idioma:	Inglés
Publicado:	London [etc.] Academic press 1988
Materias:	Teoría del conocimiento Lógica matemática Lógica
Ver en Universidad Loyola - Universidad Loyola Granada:	https://colectivo.uloyola.es/Record/19658

Solicitar por préstamo interbibliotecario: Correo

Ejemplares similares

Non-standard logics for automated rea...

Automated proof search in non-classic...

Epistemic logic : a survey of the lo...

An algebraic approach to non-classica...

A mathematical introduction to logic

Topics in philosophical logic

Logical forms : an introduction to ph...

The language of first-order logic

Logic, epistemology and the unity of ...

Systems of formal logic

Elements of symbolic logic

The concept of logical consequence

Foundations of inductive logic

Logic for information technology

Logic of mathematics : a modern cours...

Mathematical logic

The logic of chance

Logic and structure

Logic for mathematicians

Methods of logic

Logic for dummies

Methods of logic

Methods of logic

Mathematical logic

Logic for mathematicians

Mathematical logic

Mathematical logic

Combinatory logic

Mathematical logic

Methods of logic

Beginning logic

Logic : : a foundation for computer s...

Logic in algebraic form : three langu...

What is a logical system?

Dictionary of symbols of mathematical...

Mathematical logic : : an introduction