Automated Deduction in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I) by L A Wallen (1990-03-14)

  • Année de publication : 1771
  • Genres :
    Bande dessinée
    Beau Livre
    Essai
    Littérature Française
    Scolaire du primaire au lycée
    Policier &suspense
    Science Fiction
  • Nombre de page : pages
  • Prix éditeur :
  • ISBN : B01K0U74MG
  • Source : Amazon
Acheter ce livre
Ma liste de lecture

Extraits & Citations (0)

Proposer un extrait

Les avis sur ce livre (0)

A propos de l'auteur
L A Wallen
Le lac Allen (en anglais : Lake Allen) est un lac américain dans le comté de Pierce, dans l'État de Washington. Il est situé à 1 399 mètres...
Son profil
Sélection de ses livres

& aussi

d'articles

Rencontre avec Mohammed Aïssaoui : « Camus, c'est mon père, mon frère, mon professeur, mon ami »

Détail de la couverture du livre de François Lecointre « Entre guerres »

« Entre guerres » de François Lecointre : penser loin et agir juste

Portrait de Salman Rushdie qui a perdu un œil après l'attaque- Wikipedia

« Le Couteau » de Salman Rushdie : le courage d'écrire

Portrait de Paul Auster © Spencer Ostrande - Actes Sud

« Baumgartner » de Paul Auster : par delà la vie d'un amour défunt

Podcast : « Vie et opinions de Tristram Shandy » de Laurence Sterne par Ronan Chastellier

Tous les articles
sur les auteurs

Marc Agron

livres

Sonia David

livres

François Lecointre

livres

Cynthia Kafka

livres

Thael Boost

livres

Sylvie Dallet

livres
Tous les auteurs