Suchergebnisse - "Logic, Symbolic and mathematical Data processing"

Symbolic Mathematics for Chemists : A Guide for Maxima Users

Autoren: Fred Senese

Resource Type: eBook.

Schlagworte: Chemistry--Mathematics, Logic, Symbolic and mathematical--Data processing

Categories: SCIENCE / Chemistry / General

Commonsense Reasoning : An Event Calculus Based Approach

Autoren: Erik T. Mueller

Resource Type: eBook.

Schlagworte: Logic, Symbolic and mathematical--Data processing, Commonsense reasoning--Automation, Artificial intelligence--Mathematics

Categories: COMPUTERS / Artificial Intelligence / General

SAT solvers i extensions

Autoren: Lloret Llinares, Tomàs Nieuwenhuis, Robert Lukas Mario Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

Weitere Verfasser: Lloret Llinares, Tomàs Nieuwenhuis, Robert Lukas Mario Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

Quelle: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Schlagwörter: Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Logic, Symbolic and mathematical -- Data processing, Algorithms -- Data processing, Logic, Symbolic and mathematical -- Data processing, Lògica matemàtica -- Informàtica, Algorismes -- Informàtica, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/2099.1/5206
https://hdl.handle.net/2099.1/5206

Commonsense Reasoning

Autoren: Erik T. Mueller

Resource Type: eBook.

Schlagworte: Logic, Symbolic and mathematical--Data processing, Artificial intelligence, Commonsense reasoning--Automation, Artificial intelligence--Mathematics, Automation

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

SAT solvers i extensions

Autoren: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics Nieuwenhuis, Robert Lukas Mario Lloret Llinares, Tomàs

Index Begriffe: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Logic, Symbolic and mathematical -- Data processing, Algorithms -- Data processing, Lògica matemàtica -- Informàtica, Algorismes -- Informàtica, Master thesis (pre-Bologna period)

URL: http://hdl.handle.net/2099.1/5206