Buchportal für Bücher die eine ISBN tragen.

Reihe Lecture Notes in Artificial Intelligence

Manfred Schmidt-Schauß ×

Buchcover Computational Aspects of an Order-Sorted Logic with Term Declarations

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schauß

Springer Berlin

Buchcover Computational Aspects of an Order-Sorted Logic with Term Declarations

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schauß

Springer Berlin