wyszukiwanie książek
książki
Wsparcie
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
search
1
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Springer International Publishing
Vlad Rusu
rewrite
rewriting
elem
tσ
unification
equational
variables
systems
equations
augment
sets
springer
programming
modulo
lncs
narrowing
doi.org
sect
specification
symbolic
analysis
theories
sequent
meseguer
initial
tools
defined
sorted
heidelberg
first
execution
reachability
command
different
module
checking
nlist
function
rec
integer
axioms
constraint
definition
search
benchmarks
implementation
transaction
ddone
constructor
algorithm
Rok:
2018
Język:
english
Plik:
PDF, 5.32 MB
Twoje tagi:
0
/
0
english, 2018
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×