Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""He, Jiankun"" wg kryterium: Autor


Tytuł:
Situation and measures of China’s CO2 emission mitigation after the Paris Agreement
Autorzy:
He, Jiankun
Pokaż więcej
Źródło:
Frontiers in Energy. 12(3):353-361
Czasopismo naukowe
Tytuł:
Reasoning about Actions with Loops
Autorzy:
He, Jiankun
Shen, Yuping
Zhao, Xishun
Pokaż więcej
Źródło:
Artificial Intelligence: Methods and Applications : 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings. 8445:504-509
Książka elektroniczna
Tytuł:
Reasoning about actions with loops via Hoare logic
Autorzy:
He, Jiankun
Zhao, Xishun
Pokaż więcej
Źródło:
Frontiers of Computer Science: Selected Publications from Chinese Universities. October 2016 10(5):870-888
Czasopismo naukowe

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies