Logic for applications /
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Nueva York, EUA :
Springer,
1997, c1997
|
| Painos: | 2a edición |
| Sarja: | (Graduate Texts in Computer Science)
|
| Aiheet: | |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
Samankaltaisia teoksia: Logic for applications /
- Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : Revised Selected Papers /
- Diseño efectivo de programas correctos /
- Lógica computacional /
- An Introduction to Formal Languages and Automata /
- An Introduction to Formal Languages and Automata /
- Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28–30, 2013 : Revised Selected Papers /