Suivez-nous sur

Recherche

Instantiation theory : on the foundations of automated deduction

Williams, James G. <1939- >

Instantiation theory : on the foundations of automated deduction

Information

Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

Instantiation theory : on the foundations of automated deduction

Des noms

[Autore] Williams, James G. <1939- >

Description

Instantiation theory : on the foundations of automated deduction / J. G. Williams

Description physique

VIII, 133 p. ; 25 cm

Nombres standard

ISBN: 0387543333, New York
ISBN: 3540543333, Berlin

Date

c1991

Place de publication

Berlin \etc.!

Village

GERMANIA

Langue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0015801

Liens de ressources

http://id.sbn.it/bid/AQ10015801

Étiqueter

Images

The man who wasn't there: The United States, Italy and Yalta conference

The man who wasn't there: The United States, Italy and Yalta conference

Auteur : Miller, James E.

The man who wasn't there: The United States, Italy and Yalta conference

The man who wasn't there: The United States, Italy and Yalta conference

Auteur : Miller, James E.

Résultats 2 de 24230

Des textes

Automated deduction - CADE-11 : 11. International conference on automated deduction

Automated deduction - CADE-11 : 11. International conference on automated deduction

Auteur : International conference on automated deduction <11. ; 1992

Année : 1992

10. International conference on automated deduction : Kaiserlautern, FRG, July 24-27, 1990

10. International conference on automated deduction : Kaiserlautern, FRG, July 24-27, 1990

Auteur : International conference on automated deduction <10. ; 1990

Année : 1990

Résultats 2 de 2186227

Vidéo

The Wolves of Kromer

The Wolves of Kromer

Année : 2006

Nato il quattro luglio

Nato il quattro luglio

Année : 1989

Résultats 2 de 69512

l\'audio

The Wasps, Lark Ascending, Fantasia on a theme by Thomas Tallis, Fantasia on Greensleeves, English Folk Song Suite

The Wasps, Lark Ascending, Fantasia on a theme by Thomas Tallis, Fantasia on Greensleeves, English Folk Song Suite

Auteur : Vaughan Williams, Ralph

Année : 2000

The best of John Williams : Indiana Jones and the last crusade, The accidental tourist, Empire of the sun ... [etc.]

The best of John Williams : Indiana Jones and the last crusade, The accidental tourist, Empire of the sun ... [etc.]

Auteur : Williams, John <1932- >

Année : 1989

Résultats 2 de 23843

commentaires

Chargez les autres

Écrire un commentaire

Envoyer