Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG

保存先:
書誌詳細
第一著者: Ledesma, Luis de (著者)
フォーマット: 図書
言語:スペイン語
出版事項: Cuernavaca Alfaomega 2010
主題:
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

Biblioteca Mayor de Ingeniería -

予約・返却請求 Biblioteca Mayor de Ingeniería -
請求記号: 511.3 LED 2010
所蔵 4932684 利用可 予約する
所蔵 4932676 利用可 予約する
所蔵 4932668 利用可 予約する
所蔵 493265K 利用可 予約する
所蔵 4932641 利用可 予約する
所蔵 4925564 利用可 予約する
所蔵 4925556 利用可 予約する
所蔵 4925548 利用可 予約する
所蔵 492553K 利用可 予約する
所蔵 4925521 利用可 予約する
所蔵 4925513 利用可 予約する
所蔵 4925505 利用可 予約する