Computational Aspects of an Order-Sorted Logic with Term Declarations » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2946600]

• Literatura piękna

[1856966]

więcej...

Kategorie szczegółowe BISAC

Computational Aspects of an Order-Sorted Logic with Term Declarations

Name: Computational Aspects of an Order-Sorted Logic with Term Declarations
Brand: Springer-Verlag Berlin and Heidelberg GmbH &
Price: 141.19 PLN
Availability: InStock

ISBN-13: 9783540517054 / Angielski / Miękka / 1989 / 174 str.

Manfred Schmidt-Schauß

Computational Aspects of an Order-Sorted Logic with Term Declarations

ISBN-13: 9783540517054 / Angielski / Miękka / 1989 / 174 str.

Manfred Schmidt-Schauß

cena 141,19 zł
(netto: 134,47 VAT: 5%)

Najniższa cena z 30 dni: 134,90 zł

Termin realizacji zamówienia:
ok. 22 dni roboczych
Bez gwarancji dostawy przed świętami

Darmowa dostawa!

Springer Book Archives

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Artificial Intelligence - General
Mathematics > Logic
Computers > Programming - General

Wydawca:

Springer-Verlag Berlin and Heidelberg GmbH &

Seria wydawnicza:

Lecture Notes in Artificial Intelligence

Język:

Angielski

ISBN-13:

9783540517054

Rok wydania:

1989

Dostępne języki:

Angielski

Wydanie:

1989

Numer serii:

000013115

Ilość stron:

174

Waga:

0.59 kg

Wymiary:

23.523.5 x 15.5

Oprawa:

Miękka

Wolumenów:

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa