Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | իսպաներեն |
| Հրապարակվել է: |
Cuernavaca
Alfaomega
2010
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Biblioteca Mayor de Ingeniería -
| Դասիչ: |
511.3 LED 2010 |
|---|---|
| Պատճեն 4932684 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4932676 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4932668 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 493265K | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4932641 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4925564 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4925556 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4925548 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 492553K | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4925521 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4925513 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 4925505 | Հասանելի է Տեղադրեք պահում |