本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals [program disk]
John Wiley
T.Van Le
transword
predicate
goal
trans_word
append
clause
query
vl1
assert
fail
supply
next_corners
prove_branch
vs1
consult
display_goal
builtin
queries
prolog
write_list
tab
constsymbol
tmove
path
args
_agent
setof
write_word
figure
_item
var_list
extract_symbols
collect_var
anspath
print_goal
convert_atom
retract
sample
select
reverse
failproof
univ_quantify
convert
collect_vars
vs2
abolish
adams
coord
a:b
prove
年:
1993
言語:
english
ファイル:
RAR, 92 KB
あなたのタグ:
0
/
0
english, 1993
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×